Deducteam

Home Members Software Seminars Jobs

Most of the software written by members of Deducteam are written in OCaml and available on Opam on the main Opam repository or on our own repository (opam repository add deducteam https://scm.gforge.inria.fr/anonscm/git/opam-deducteam/opam-deducteam.git).

Proof checking tools

Proof building tools

Proof translation tools

Automated theorem proving tools

Termination tools

Libraries

Code generation tools