Pinned

1. MPCTT MPCTT Public

   Modeling and Proving in Computational Type Theory

   Coq 74 8

2. Prog Prog Public

   OCaml 73 10

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

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

   Coq 100 27

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

   Coq 25 3

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

   Coq 6 3

6. autosubst2 autosubst2 Public

   Official repository of the Autosubst 2 project.

   Haskell 15 5