Popular repositories Loading

1. logrel-coq logrel-coq Public

   Logical Relation for MLTT in Coq

   Coq 33 6

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

   Coq 14 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 10 3

6. univalent_parametricity univalent_parametricity Public

   Univalent Parametricity for Effective Transport

   Coq 9 5