Content mirrored for search engine indexing from:
https://github.com/rocq-prover/rocq/wiki/CoqDevelopment
Why does this service exist?
CoqDevelopment - rocq-prover/rocq GitHub Wiki
Developers meet at
Coq Working Groups
.
🗂️ Page Index for this GitHub Wiki