Popular repositories Loading

1. paco paco Public

   A Coq library for parametric coinduction

   Coq 51 13

2. promising-coq promising-coq Public

   The Coq development of A Promising Semantics for Relaxed-Memory Concurrency

   Rocq Prover 43 5

3. crellvm crellvm Public

   Crellvm: Verified Credible Compilation for LLVM

   Coq 18 1

4. Ordinal Ordinal Public

   Rocq Prover 15 2

5. crellvm-llvm crellvm-llvm Public

   LLVM for Crellvm: Verified Credible Compilation for LLVM

   C++ 7

6. CompCertM CompCertM Public

   Coq 6 5