morrison-daniel/PhysLean
A project to digitalise results from physics into Lean.
Repositories
morrison-daniel/mathlib4
The math library of Lean 4
morrison-daniel/CompPoly
A computable model of Polynomials in Lean.
morrison-daniel/Homotopy-Lifting
Proof of the uniqueness and existence of homotopy lifts, and adjacent theorems.
morrison-daniel/morrison-daniel.github.io
morrison-daniel/FLT
Ongoing Lean formalisation of the proof of Fermat's Last Theorem