Popular repositories Loading

1. lvc lvc Public

   LVC verified compiler

   Coq 57 2

2. smpl smpl Public

   A Coq plugin providing an extensible tactic similar to first.

   OCaml 5 4

3. opam-repository opam-repository Public

   Forked from ocaml/opam-repository

   Main public package repository for OPAM, the source package manager of OCaml.

   OCaml 1

4. containers containers Public

   Forked from rocq-archive/containers

   Containers: a typeclass-based library of finite sets/maps

   Coq

5. CompCert CompCert Public

   Forked from AbsInt/CompCert

   The CompCert C verified compiler

   Coq

6. coqtheorem coqtheorem Public

   Forked from yforster/coqtheorem

   A LaTeX package to make ntheorem environment names link to coqdoc webpages

   TeX