- Grenoble, France
- http://www-verimag.imag.fr/~boulme/
Popular repositories Loading
-
opam-coq-archive
opam-coq-archive PublicForked from coq/opam
Archive for all Coq related OPAM packages organized in various repositories
JavaScript 2
-
satans-cert
satans-cert PublicCertifying Answers of Boolean SAT-Solvers (with a proof combining Coq and OCaml typecheckers)
Coq 2
-
coq-tutorial-ml-tactics
coq-tutorial-ml-tactics PublicForked from braibant/coq-tutorial-ml-tactics
A tutorial on how to write OCaml tactics for the Coq proof assistant
OCaml 1
-
ImpureDemo
ImpureDemo PublicA Coq library to embed Impure OCaml oracles in certified Coq code
Coq 1
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.