Deducteam

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 https://anonsvn@gforge.inria.fr/git/opam-deducteam/opam-deducteam.git

Proof checking tools

Proof translation tools

Automated theorem proving tools

Libraries and code generation tools