Popular repositories Loading

1. BRiCk BRiCk Public

   Formalization of C++ for verification purposes.

   Rocq Prover 92 16

2. rocq-agent-toolkit rocq-agent-toolkit Public

   Agent infrastructure for Rocq

   Python 9

3. brick-libcpp brick-libcpp Public

   Specifications of the C++ standard library in BRiCk.

   TeX 5 2

4. rocq-stdpp rocq-stdpp Public

   An extended "Standard Library" for Rocq

   Rocq Prover 1

5. rocq-iris rocq-iris Public

   The Rocq development for Iris

   Rocq Prover 1

6. rocq-rfcs rocq-rfcs Public

   Forked from rocq-prover/rfcs

   Coq Enhancement Proposals