Stars
Official Repo for Open-Reasoner-Zero
A template for blueprint-driven formalization projects in Lean.
Repository for formalization of the Polynomial Freiman Ruzsa conjecture (and related results)
Proof in Lean of Fermat Last Theorem for exponent 3