Academic Institutions Teach the Rocq Prover!
Academic Entries
To list an academic institution, check out the Contributing Guide on GitHub.
University of Cambridge
-
Proof Assistants
Exercises
