Stars
6
stars
written in Lean
Clear filter
Lean 3's obsolete mathematical components library: please use mathlib4
Ongoing Lean formalisation of the proof of Fermat's Last Theorem
Demo for high-performance type theory elaboration
A project to map out the relations between different equational theories of Magmas.
Repository for formalization of the Polynomial Freiman Ruzsa conjecture (and related results)