pitmonticone / LeanProjectLinks
A template for blueprint-driven formalization projects in Lean.
☆74Updated last week
Alternatives and similar repositories for LeanProject
Users that are interested in LeanProject are comparing it to the libraries listed below
Sorting:
- Repository for formalization of the Polynomial Freiman Ruzsa conjecture (and related results)☆188Updated last month
- ☆93Updated last year
- Fermat's Last Theorem for regular primes☆61Updated this week
- Tools based on AI for helping with Lean 4☆98Updated last week
- tool for turning Lean proofs into Blender animations☆75Updated last month
- Source code for the Mathematics in Lean tutorial.☆171Updated last month
- Formalisation of the Cambridge Part II and Part III courses Graph Theory, Combinatorics, Extremal and Probabilistic Combinatorics in Lean☆60Updated last month
- A blueprint for a formalization of infinity-cosmos theory in Lean.☆78Updated last month
- Document Generator for Lean 4☆106Updated this week
- Beginner's guide to Tactic Programming in Lean☆60Updated last month
- Helper toolkit for creating your own Lean 4 UserWidgets☆156Updated last week
- plasTeX plugin to build formalization blueprints.☆241Updated 3 weeks ago
- A formalized proof of Carleson's theorem in Lean☆70Updated last month
- ☆89Updated last week
- Lean for the Curious Mathematician 2020☆67Updated last year
- Lean documentation authoring tool☆222Updated this week
- White-box automation for Lean 4☆302Updated this week
- The Lean reference manual☆81Updated this week
- A library of results from Social Choice Theory, formalized in the Lean Theorem Prover.☆26Updated 3 years ago
- Theorem Proving in Lean 4☆208Updated 3 weeks ago
- Experiments on automation for Lean☆139Updated 2 weeks ago
- LeanInk is a command line helper tool for Alectryon which aims to ease the integration of Lean 4.☆64Updated last year
- Conservative floating point interval arithmetic in Lean☆21Updated last week
- Formalizing "Proofs from THE BOOK"☆65Updated last week
- Mathlib search tool☆101Updated 2 weeks ago
- Natural language tactics to teach mathematics using Lean 4☆91Updated 2 months ago
- The matrix cookbook, proved in the Lean theorem prover☆119Updated 2 weeks ago
- Course notes for Formalising Mathematics 2025☆66Updated 2 months ago
- Mathport is a tool for porting Lean3 projects to Lean4☆44Updated 10 months ago
- Formalization of Mathematical Logic☆159Updated this week