Popular repositories Loading

1. gw-ocaml gw-ocaml Public

   A port of CAJAL to OCaml.

   C 1

2. forester-emacs forester-emacs Public

   An Emacs major mode for the Forester markup language.

   Emacs Lisp 1

3. UniMath UniMath Public

   Forked from UniMath/UniMath

   This coq library aims to formalize a substantial body of mathematics using the univalent point of view.

   Coq

4. HoTT HoTT Public

   Forked from HoTT/Coq-HoTT

   Homotopy type theory

   Coq

5. ssprove ssprove Public

   Forked from SSProve/ssprove

   A foundational framework for modular cryptographic proofs in Coq

   Coq

6. category-theory category-theory Public

   Forked from jwiegley/category-theory

   An axiom-free formalization of category theory in Coq for personal study and practical work

   Coq