Academic Institutions Teach the Rocq Prover!
Academic Entries
To list an academic institution, check out the Contributing Guide on GitHub.
Cornell University
-
Formal Verification
Lecture Notes Video Recordings
