Explore GitLab
Discover projects, groups and snippets. Share your projects with others
-
-
Submission for the programming project of the MPRI course "Proof of Programs".
-
Probabilistic programming library for OCaml (MPRI 2.40 project).
Discover projects, groups and snippets. Share your projects with others
Submission for the programming project of the MPRI course "Proof of Programs".
Probabilistic programming library for OCaml (MPRI 2.40 project).