Skip to the content.

finalized

by Howard Straubing and Soleil Repple and Nathan Hart-Hodgson and Ayden Lamparski

Blueprint (web) Blueprint (pdf) Documentation GitHub

Useful links:

Zulip chat for Lean for coordination
Blueprint
Blueprint as pdf
Dependency graph
Doc pages for this repository

finalized is maintained by Howard Straubing \and Soleil Repple \and Nathan Hart-Hodgson \and Ayden Lamparski. Visit the GitHub repository for more information.