Popular repositories Loading

1. Cocasse Cocasse Public

   A library for Gradual Certified Programming in Coq

   Coq 9 2

2. Forcing Forcing Public

   Forked from mattam82/Forcing

   Forcing layer on top of Coq

   Coq 1

3. AJoCaml AJoCaml Public

   Implementation of the aspect join calculus based on JoCaml

   OCaml 1

4. lmfi_hott lmfi_hott Public

   Course on HoTT at LMFI Master

   Coq 1

5. omega_categories omega_categories Public

   Formalisation of strict omega categories and the homotopy hypothesis in type theory, using coinduction

   Coq 1

6. coq-forcing coq-forcing Public

   Forked from ppedrot/coq-forcing

   Tentative implementation of call-by-name forcing in Coq

   OCaml