Pinned Repositories
alt-ergo
OCamlPro public development repository for Alt-Ergo
CVC4
CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.
minisatml
ocaml
The core OCaml system: compilers, runtime system, base libraries
opam-repository
Main public package repository for OPAM, the source package manager of OCaml.
psmt2-frontend
A simple parser and type-checker for polomorphic extension of the SMT-LIB 2 language
ocaml
The core OCaml system: compilers, runtime system, base libraries
opam-repository
Main public package repository for opam, the source package manager of OCaml.
alt-ergo
OCamlPro public development repository for Alt-Ergo
tezos-mirror
Github test mirror of the Octez software. Please do not submit pull-requests here!
ACoquereau's Repositories
ACoquereau/psmt2-frontend
A simple parser and type-checker for polomorphic extension of the SMT-LIB 2 language
ACoquereau/alt-ergo
OCamlPro public development repository for Alt-Ergo
ACoquereau/opam-repository
Main public package repository for OPAM, the source package manager of OCaml.
ACoquereau/CVC4
CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.
ACoquereau/minisatml
ACoquereau/ocaml
The core OCaml system: compilers, runtime system, base libraries
ACoquereau/tezos-mirror
Github test mirror of the Octez software. Please do not submit pull-requests here!
ACoquereau/teztnets
Automated Testnets
ACoquereau/teztnets-1
Repository for the setup of the Tezos test network infrastructure
ACoquereau/why3
SPARK 2014 repository for the Why3 verification platform.