Explore projects

An automated prover for bi-intuitionistic logic, based on resource graphs. (README in french)

Tout le code pour ma thèse :)

Repository of my M2 internship.

Implementation of the SMTApproxMC counting algorithm in C++ using Z3, with some optimizations for Chalice-generated files.

Appendix of the report "Levenberg-Marquardt on Manifolds"

GUI organizer for ENSnano

Echantillonnage à posteriori par méthode MCMC - réseau inversible

Projet de programmation de Thomas Bobille et Louis Jalouzot

Ce dépot contient le programme codé en Ocaml du projet programmation de Jolyne Gatt et Arthur Vinciguerra