kbuzzard / lean-stacks-project
Formal verification of parts of the Stacks Project in Lean
☆21Updated 3 years ago
Alternatives and similar repositories for lean-stacks-project:
Users that are interested in lean-stacks-project are comparing it to the libraries listed below
- Topos theory in lean☆59Updated 4 years ago
- A tool for building Lean4 .olean files from Lean3 export data☆10Updated 3 years ago
- HoTT in Lean 3☆79Updated 4 years ago
- Synthetic geometry. Probably mostly algebraic geometry.☆23Updated last year
- Reference sheet for people who know Lean 3 and want to write tactic-based proofs in Lean 4☆27Updated 5 months ago
- LeanInk is a command line helper tool for Alectryon which aims to ease the integration of Lean 4.