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☆59Updated 3 weeks ago
- A blueprint for a formalization of infinity-cosmos theory in Lean.☆65Updated last week
- A Lean tactic for Canonical, a search procedure for terms in dependent type theory.☆75Updated this week
- Formalization of the existence of sphere eversions☆43Updated 2 weeks ago
- Mathport is a tool for porting Lean3 projects to Lean4☆44Updated 7 months ago
- A Lean file formatter☆68Updated 2 years ago
- Extension for VS Code that provides support for the older Lean 3 language. Succeeded by vscode-lean4 ('lean4' in the extensions menu) for…☆115Updated 2 months ago
- Lean documentation authoring tool☆180Updated this week
- Formalizing "Proofs from THE BOOK"☆61Updated 6 months ago
- Lean for the Curious Mathematician 2020☆67Updated last year
- Tools based on AI for helping with Lean 4☆89Updated this week
- A formalized proof of Carleson's theorem in Lean☆58Updated this week
- Template for blueprint-driven formalization projects in Lean.☆57Updated last week
- Document Generator for Lean 4☆97Updated 2 weeks ago
- Intuitive, type-safe expression quotations for Lean 4.☆87Updated this week
- Experiments in automation for Lean☆115Updated last week
- Materials for the course "theorem prover lab: applications in programming languages" at KIT, SS2021 edition☆50Updated 3 years ago
- Formalizing geometry in Lean : IGL/UniHigh Summer 2020 research project☆29Updated 3 years ago
- Natural language tactics to teach mathematics using Lean 4☆79Updated last month
- Schemes in Lean (v2)☆43Updated 4 years ago
- Lean 4 library for pretty printing expressions as LaTeX☆25Updated 3 months ago
- Mathlib search tool☆93Updated 2 weeks ago
- Lean 4 kernel / 'external checker' written in Lean 4☆106Updated this week
- ☆15Updated last year
- The Lean reference manual☆68Updated this week
- Source code for the nLab☆177Updated 3 months ago
- Fermat's Last Theorem for regular primes☆61Updated this week
- Logic and Mechanized Reasoning☆104Updated 4 months ago
- Source code for the Mathematics in Lean tutorial.☆153Updated last week
- Very controlled natural language tactics for Lean☆64Updated last year