GitHub / conornewton / lean-sqrt2-irrational

A formal proof of the irrationality of sqrt(2) written in lean

JSON API: http://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/conornewton%2Flean-sqrt2-irrational
PURL: pkg:github/conornewton/lean-sqrt2-irrational

Stars: 0
Forks: 0
Open issues: 0

License: None
Language: Lean
Size: 2.93 KB
Dependencies parsed at: Pending

Created at: over 5 years ago
Updated at: over 5 years ago
Pushed at: over 5 years ago
Last synced at: about 1 year ago

Topics: formal-proofs, irrational-numbers, lean, maths, number, proof, sqrt, sqrt2

Loading...