Current members of the Rocq Consortium

Gold Members

Current gold members are:

Help Improve Our Documentation

All Rocq docs are open source. See something that's wrong or unclear? Submit a pull request.

Rocq

Interactive Theorem Prover