Popular repositories Loading

1. logrel-coq logrel-coq Public

   Logical Relation for MLTT in Coq

   Coq 24 4

2. Program-translations-CC-omega Program-translations-CC-omega Public

   Coq 13 1

3. exceptional-tt exceptional-tt Public

   A Coq plugin that implements exceptions in Coq

   OCaml 13 4

4. coq-forcing coq-forcing Public

   A plugin for Coq that implements the call-by-name forcing translation

   Coq 12 3

5. logrel-mltt logrel-mltt Public

   Forked from mr-ohman/logrel-mltt

   A Logical Relation for Martin-Löf Type Theory in Agda

   HTML 9 3

6. DICoq DICoq Public

   Dependent Interoperability for Coq

   Coq 8 1