morrison-daniel's repositories
FLT
Ongoing Lean formalisation of the proof of Fermat's Last Theorem
Apache-2.0000
Homotopy-Lifting
Proof of the uniqueness and existence of homotopy lifts, and adjacent theorems.
Language:Lean000
hyperbolicGeometryInLean
Formalizing hyperbolic geometry in lean
Language:Lean000
Language:JavaScript000