Popular repositories Loading

1. coqrel coqrel Public

   Binary logical relations library for the Coq proof assistant

   Rocq Prover 23 1

2. compcert compcert Public

   Forked from AbsInt/CompCert

   Compcert repository of the Yale FLINT Group

   Coq 11 2

3. compcert.old compcert.old Public archive

   CompCertX features to be merged into CompCert

   Coq 10

4. rbgs rbgs Public

   Refinement-Based Game Semantics

   Rocq Prover 6 8

5. rbgs-papers rbgs-papers Public

   Publications about refinement-based game semantics

   TeX 3 1

6. PARTEE PARTEE Public

   PARTEE: Secure Containers for Physical AI

   2