Top Repositories
Formalization of Statement of Local Langlands Correspondence for Tori
Unofficial repository for the experimental porting of mathlib into lean4
Towards a general definition of elliptic curve over schemes
Material from M1P1, formalised in Lean
A project to digitalise results from physics into Lean.
Repositories
53A project to digitalise results from physics into Lean.
Github repository for the 2025 Clay Summer School on Formalizing Class Field Theory
Towards a general definition of elliptic curve over schemes
Visual Studio Code extension for the Lean 4 proof assistant
Formally Verified Sudoku in Lean 4
Formalization of Statement of Local Langlands Correspondence for Tori
A Lean library for Computer Science
Elliptic Curve docs
The math library of Lean 4
Lean 4 programming language and theorem prover
A collection of formalized statements of conjectures in Lean.
Ongoing Lean formalisation of the proof of Fermat's Last Theorem
Unofficial repository for the experimental porting of mathlib into lean4
Hosts the website for mathlib and other Lean community infrastructure.
Lean Theorem Prover
No description provided.
No description provided.
An extension for VS Code which provides support for the Lean language.
Material from M1P1, formalised in Lean
Building the natural numbers in Lean.
No description provided.
Lean mathematical components library
Formalisation of a scheme in Lean.
Imperial College London Mathematics and Computer Science (Pure Mathematics and Computational Logic) Third Year
Lean Theorem Prover
No description provided.
Formal verification of parts of the Stacks Project in Lean
No description provided.
No description provided.
No description provided.