Explore GitLab
Discover projects, groups and snippets. Share your projects with others
-
archived 0Updated
-
Submission for the programming project of the MPRI course "Proof of Programs".
archived 0Updated -
archived 0Updated
-
Probabilistic programming library for OCaml (MPRI 2.40 project).
archived 0Updated -
Coq implementation and verification of a decision procedure for intuitionistic tautological properties (MPRI 2.7.2 project).
archived 0Updated -
OCaml implementation of a typer for System FOmega (MPRI 2.4 project).
archived 0Updated -
Why3 proofs of functions using dynamic programming (MPRI 2.36.1 project).
archived 0Updated