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

Proof checking tools

Proof building tools

Proof translation tools

Automated theorem proving tools

Termination tools


Code generation tools