Skip to the content.
Lean 4 Project Template
A template for blueprint-driven formalisation projects in Lean 4
Blueprint (web)
Documentation
GitHub
Useful links:
Zulip chat for Lean
for coordination
Blueprint
Blueprint as pdf
Dependency graph
Doc pages for this repository