Popular repositories Loading

1. worcshop worcshop Public

   Coq 5

2. refinedC refinedC Public

   A fork of https://gitlab.mpi-sws.org/iris/refinedc that is compatible with coq-iris 4.3.0.

   Rocq Prover

3. compcert-mod compcert-mod Public

   Rocq Prover

4. LGPL-CompCert-3.15 LGPL-CompCert-3.15 Public

   CompCert-3.15 with all non-LGPL'ed files removed

   Rocq Prover

5. concurrency-templates concurrency-templates Public

   A Formal Interface for Concurrent Search Structure Templates

   Rocq Prover

6. refinedcc_frontend refinedcc_frontend Public

   Forked from AbsInt/CompCert

   A CompCert version of the refinedc frontend

   Rocq Prover