leanprover-community / mathlib4
The math library of Lean 4
☆1,921Updated this week
Alternatives and similar repositories for mathlib4:
Users that are interested in mathlib4 are comparing it to the libraries listed below
- Ongoing Lean formalisation of the proof of Fermat's Last Theorem☆436Updated this week
- The user home repository for the Mathematics in Lean tutorial.☆330Updated this week
- Lean 3's obsolete mathematical components library: please use mathlib4☆1,664Updated 10 months ago
- Lean 4 programming language and theorem prover☆5,449Updated this week
- The Lean version manager☆373Updated last week
- LLMs as Copilots for Theorem Proving in Lean☆1,084Updated this week
- Tool for data extraction and interacting with Lean programmatically.☆658Updated this week
- Lean 3 Theorem Prover (community fork)☆434Updated last year
- A project to map out the relations between different equational theories of Magmas.☆326Updated this week
- The "batteries included" extended library for the Lean programming language and theorem prover☆298Updated this week
- Visualizing the network of math theories.☆527Updated 11 months ago
- Server to host lean games.☆256Updated last week
- Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant☆249Updated 4 months ago
- Scientific computing in Lean 4☆391Updated last month
- Lean theorem proving interface which feels like pen-and-paper proofs.☆412Updated 3 weeks ago
- An introduction to theorem proving in Lean for the impatient.☆180Updated last week
- Main development repository for GAP - Groups, Algorithms, Programming, a System for Computational Discrete Algebra☆862Updated 2 weeks ago
- Visual Studio Code extension for the Lean 4 proof assistant☆208Updated last week
- Repository for the Stacks Project☆911Updated 7 months ago
- plasTeX plugin to build formalization blueprints.☆206Updated last week
- 💧 Liquid Tensor Experiment☆193Updated last year
- White-box automation for Lean 4☆265Updated this week
- Repository for formalization of the Polynomial Freiman Ruzsa conjecture (and related results)☆156Updated this week
- Formalising Mathematics; a course for undergraduate mathematicians. Ran between January and March 2024.☆209Updated last month
- Lean Theorem Prover☆2,151Updated last year
- amateur translation project of Grothendieck's EGA.☆345Updated 6 months ago
- Catalog Of Math Problems Formalized In Lean☆152Updated this week
- A project to digitalise results from physics into Lean.☆213Updated this week
- blueprint for prime number theorem and more☆159Updated this week
- Natural Number Game☆162Updated last month