Popular repositories Loading

1. logrel-coq logrel-coq Public

   Logical Relation for MLTT in Coq

   Coq 19 3

2. exceptional-tt exceptional-tt Public

   A Coq plugin that implements exceptions in Coq

   OCaml 14 4

3. Program-translations-CC-omega Program-translations-CC-omega Public

   Coq 13 1

4. coq-forcing coq-forcing Public

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

   Coq 12 3

5. DICoq DICoq Public

   Dependent Interoperability for Coq

   Coq 8 1

6. univalent_parametricity univalent_parametricity Public

   Univalent Parametricity for Effective Transport

   Coq 8 2