Explore projects

A tutorial to provide a solid basis to start writing proper C++ code with the latest versions of the standard.

notes de thèse pour Pierre-Antoine Rault - dernier rapport

Itauto: an Extensible Intuitionistic SAT Solver

Towards a reproducible research study with Guix

Preuve sur les algos de Parcoursup

LP-update policy and applications on multi-action RB

ProVerif symbolic protocol verifier