Skip to the content.
An example Rocq blueprint project
by Reinis Cirpons
Blueprint (web)
Blueprint (pdf)
Documentation
GitHub
Useful links:
Zulip chat for Rocq
for coordination
Blueprint
Blueprint as pdf
Dependency graph
Doc pages for this repository