An open-source functional programming language and interactive theorem prover.
Not started
In progress
Completed
Select a project to view details
Click on any project in the roadmap to view its details, status, and progress.
Lean Blueprint.