Stars
8
stars
written in Lean
Clear filter
Lean 3's obsolete mathematical components library: please use mathlib4
A collection of formalized statements of conjectures in Lean.
Ongoing Lean formalisation of the proof of Fermat's Last Theorem
A project to digitalise results from physics into Lean.
Blueprint for the PNT+ Project
Port of the haskell time library to Lean 4 and verification of date calculations