Popular repositories Loading

1. Impure Impure Public

   A Coq library to embed Impure OCaml oracles in certified Coq code

   Coq 3

2. opam-coq-archive opam-coq-archive Public

   Forked from coq/opam

   Archive for all Coq related OPAM packages organized in various repositories

   JavaScript 2

3. satans-cert satans-cert Public

   Certifying Answers of Boolean SAT-Solvers (with a proof combining Coq and OCaml typecheckers)

   Coq 2

4. coq-tutorial-ml-tactics coq-tutorial-ml-tactics Public

   Forked from braibant/coq-tutorial-ml-tactics

   A tutorial on how to write OCaml tactics for the Coq proof assistant

   OCaml 1

5. ImpureDemo ImpureDemo Public

   A Coq library to embed Impure OCaml oracles in certified Coq code

   Coq 1