Popular repositories Loading

1. color color Public

   Coq library on rewriting theory and termination

   Rocq Prover 37 21

2. simsoc-cert simsoc-cert Public

   Generator of C code and Coq code for ISA and SoC

   TeX 2

3. moca moca Public

   Generator of OCaml construction functions for quotient types

   OCaml 2

4. rainbow rainbow Public

   Certified checker of CPF termination certificates

   Coq 1

5. hot hot Public

   Automated termination prover for higher-order rewriting

   OCaml 1

6. lambdapi lambdapi Public

   Forked from Deducteam/lambdapi

   Proof assistant based on the λΠ-calculus modulo rewriting

   OCaml