Program logic for developing and verifying distributed systems
A categorical framework for effects in Coq. (L3 internship)
implémentation de la KAM dans le cadre du stage de L3 (en Ocaml puis en C)
Partie Coq du projet logique de 2017