leanprover-community / mathlib-toolsLinks
Development tools for https://github.com/leanprover-community/mathlib
☆33Updated 2 years ago
Alternatives and similar repositories for mathlib-tools
Users that are interested in mathlib-tools are comparing it to the libraries listed below
Sorting:
- Schemes in Lean (v2)☆44Updated 5 years ago
- Lean for the Curious Mathematician 2020☆67Updated 2 years ago
- A Lean file formatter☆70Updated 2 years ago
- LeanInk is a command line helper tool for Alectryon which aims to ease the integration of Lean 4.☆65Updated last year
- ☆38Updated 2 years ago
- Code samples for Lean 4☆77Updated 2 years ago
- Generate HTML documentation for mathlib and Lean☆21Updated last year
- Topos theory in lean☆64Updated 4 years ago
- Formalization of the existence of sphere eversions☆43Updated this week
- Extension for VS Code that provides support for the older Lean 3 language. Succeeded by vscode-lean4 ('lean4' in the extensions menu) for…☆116Updated 6 months ago
- HoTT in Lean 3☆82Updated 5 years ago
- M4 algebraic geometry course in Lean☆59Updated 5 years ago
- Formal verification of parts of the Stacks Project in Lean☆22Updated 4 years ago
- Mathlib search tool☆104Updated 2 weeks ago
- Very controlled natural language tactics for Lean☆64Updated last year
- Formalisations for simplicial HoTT and synthetic ∞-categories.☆52Updated 3 weeks ago
- ☆33Updated 4 months ago
- List of the output of #help command of mathlib4, including list of all tactics, commands...etc☆20Updated this week
- LaTeX code for a paper on lean's type theory☆148Updated 3 years ago
- Goldbach conjecture = 25-state turing machine☆29Updated 9 months ago
- maze game encoded in Lean 4 syntax☆63Updated 3 months ago
- Ground Zero: Lean 4 HoTT Library☆71Updated last week
- A formal proof of the independence of the continuum hypothesis☆135Updated last year
- Perfectoid spaces in the Lean formal theorem prover.☆127Updated last year
- A formal proof of the irrationality of zeta(3), the Apéry constant [maintainer=@amahboubi,@pi8027]☆25Updated last month
- ☆16Updated 4 years ago
- **(Deprecated: Merged into Lean 4)** Lean 4 build system and package manager with configuration files written in Lean.☆100Updated 2 years ago
- Lean proof that a normed vector space with compact unit ball is finite dimensional☆11Updated 5 years ago
- Formalization of Arithmetization of Mathematics/Metamathematics☆13Updated 7 months ago
- comparative formalizations of the Yoneda lemma for 1-categories and infinity-categories☆69Updated last year