Pinned Loading

1. MPCTT MPCTT Public

   Modeling and Proving in Computational Type Theory

   Rocq Prover 125 12

2. Prog Prog Public

   OCaml 96 13

3. coq-library-undecidability coq-library-undecidability Public

   A library of mechanised undecidability proofs in the Coq proof assistant.

   Rocq Prover 139 37

4. coq-library-complexity coq-library-complexity Public

   Coq 37 4

5. coq-synthetic-computability coq-synthetic-computability Public

   Rocq Prover 19 5

6. autosubst2 autosubst2 Public

   Official repository of the Autosubst 2 project.

   Haskell 27 5