morrison-daniel

Pinned Repositories

Homotopy-Lifting-Bro
Proof of the uniqueness and existence of homotopy lifts, and adjacent theorems.
Language:Lean3 2 01
quals.math.uci.edu
UC Mathematics Qualifying Exams
Language:Vue01
FLT
Ongoing Lean formalisation of the proof of Fermat's Last Theorem
Language:Lean00
Homotopy-Lifting
Proof of the uniqueness and existence of homotopy lifts, and adjacent theorems.
Language:Lean00
hyperbolicGeometryInLean
Formalizing hyperbolic geometry in lean
Language:Lean00
morrison-daniel.github.io
Language:JavaScript00
hyperbolicGeometryInLean
Formalizing hyperbolic geometry in lean
Language:Lean0 1 01

morrison-daniel's Repositories

morrison-daniel/FLT
Ongoing Lean formalisation of the proof of Fermat's Last Theorem
Language:Lean00
morrison-daniel/Homotopy-Lifting
Proof of the uniqueness and existence of homotopy lifts, and adjacent theorems.
Language:Lean00
morrison-daniel/hyperbolicGeometryInLean
Formalizing hyperbolic geometry in lean
Language:Lean00
morrison-daniel/morrison-daniel.github.io
Language:JavaScript00