morrison-daniel

Pinned Repositories

Homotopy-Lifting-Bro
Proof of the uniqueness and existence of homotopy lifts, and adjacent theorems.
Language:Lean4 3 01
quals.math.uci.edu
UC Mathematics Qualifying Exams
Language:Vue0 0 01
FLT
Ongoing Lean formalisation of the proof of Fermat's Last Theorem
Language:Lean319 12 7253
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:Lean1 0 00
hyperbolicGeometryInLean
Formalizing hyperbolic geometry in lean
Language:Lean00
morrison-daniel.github.io
Language:JavaScript00
hyperbolicGeometryInLean
Formalizing hyperbolic geometry in lean
Language:Lean2 2 01

morrison-daniel's Repositories

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