Home Members Software Seminars Jobs

Most of the software written by members of Deducteam are using OCaml. We provide an Opam repository to make their installation easier. If you have opam installed, you only need to type:

opam repository add deducteam

Proof checking tools

Proof translation tools

Automated theorem proving tools


Code generation tools