pi-base / dataLinks
A community database of topological counterexamples
☆122Updated this week
Alternatives and similar repositories for data
Users that are interested in data are comparing it to the libraries listed below
Sorting:
- Formalisation of the Cambridge Part II and Part III courses Graph Theory, Combinatorics, Extremal and Probabilistic Combinatorics in Lean☆60Updated last month
- Source code for the Mathematics in Lean tutorial.☆163Updated 3 weeks ago
- Lean documentation authoring tool☆201Updated this week
- A formalized proof of Carleson's theorem in Lean☆64Updated this week
- Formalizing "Proofs from THE BOOK"☆64Updated last week
- tool for turning Lean proofs into Blender animations☆74Updated last month
- Fermat's Last Theorem for regular primes☆61Updated 3 weeks ago
- Lean for the Curious Mathematician 2020☆67Updated last year
- A blueprint for a formalization of infinity-cosmos theory in Lean.☆72Updated this week
- Source code for the nLab☆180Updated 4 months ago
- Formalization of the existence of sphere eversions☆44Updated last week
- Extension for VS Code that provides support for the older Lean 3 language. Succeeded by vscode-lean4 ('lean4' in the extensions menu) for…☆115Updated 4 months ago
- A formal consistency proof of Quine's set theory New Foundations☆73Updated last month
- The Lean 4 web editor☆99Updated last month
- A Lean file formatter☆68Updated 2 years ago
- Logic and Mechanized Reasoning☆105Updated 3 weeks ago
- Catalog Of Math Problems Formalized In Lean☆188Updated last week
- Generate HTML documentation for mathlib and Lean☆21Updated 10 months ago
- Notes on how to use the internal language of toposes in algebraic geometry☆59Updated last month
- plasTeX plugin to build formalization blueprints.☆228Updated last month
- Formalizing geometry in Lean : IGL/UniHigh Summer 2020 research project☆30Updated 3 years ago
- ☆92Updated last year
- Schemes in Lean (v2)☆43Updated 5 years ago
- repository for material for Jan-Mar 2023 course on formalising mathematics☆48Updated last year
- A formal proof of the independence of the continuum hypothesis☆132Updated 11 months ago
- Very controlled natural language tactics for Lean☆64Updated last year
- Document Generator for Lean 4☆100Updated last week
- Repository for formalization of the Polynomial Freiman Ruzsa conjecture (and related results)☆181Updated last week
- Visual Studio Code extension for the Lean 4 proof assistant☆223Updated this week
- **(Deprecated: Merged into Lean 4)** Lean 4 build system and package manager with configuration files written in Lean.☆99Updated last year