Popular repositories Loading

1. opam-repository opam-repository Public

   Forked from ocaml/opam-repository

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

   Shell 1 1

2. itauto itauto Public

   Coq 1 1

3. CoqEAL CoqEAL Public

   Forked from rocq-community/coqeal

   CoqEAL -- The Coq Effective Algebra Library

   Coq

4. alt-ergo alt-ergo Public

   Forked from OCamlPro/alt-ergo

   OCamlPro public development repository for Alt-Ergo

   OCaml 1

5. opam-coq-archive opam-coq-archive Public

   Forked from rocq-prover/opam

   Archive for all Coq related OPAM packages organized in various repositories

   OCaml

6. ltac2 ltac2 Public

   Forked from rocq-prover/ltac2

   A standalone implementation of Ltac2 as a Coq plugin

   OCaml