Academic Institutions Teach the Rocq Prover!

Academic Entries

To list an academic institution, check out the Contributing Guide on GitHub.

Universidade de Lisboa logo
Universidade de Lisboa
TU Wien logo
TU Wien
Cornell University logo
Cornell University
Aarhus University logo
Aarhus University
ENS Paris-Saclay logo
ENS Paris-Saclay
EPFL logo
EPFL
Universidad Nacional Autónoma de México logo
Universidad Nacional Autónoma de México
University of Illinois at Chicago logo
University of Illinois at Chicago