This repository contains a template for blueprint-driven formalization projects in Lean 4.
Ensure that you have a functioning Lean 4 installation. If you do not, please follow the Lean installation guide.
Useful links:
- Zulip chat for Lean for coordination
- [Blueprint]({{ site.url }}/blueprint/)
- [Blueprint as pdf]({{ site.url }}/blueprint.pdf)
- [Dependency graph]({{ site.url }}/blueprint/dep_graph_document.html)
- [Doc pages for this repository]({{ site.url }}/docs/)