Explore projects

Submission for the programming project of the MPRI course "Proof of Programs".

Ceci est ma contribution pour l'examen du cours 2.37.1 du MPRI.

Probabilistic programming library for OCaml (MPRI 2.40 project).

Coq implementation and verification of a decision procedure for intuitionistic tautological properties (MPRI 2.7.2 project).

OCaml implementation of a typer for System FOmega (MPRI 2.4 project).

Why3 proofs of functions using dynamic programming (MPRI 2.36.1 project).