Denotational Semantics Part II (3ème année). Pages internet: automne 2023, automne 2024.
Proof Assistants Master & Part III (4ème année), co-enseigné avec Thomas Bauereiss. Page internet: 2024.
Sous Licence Creative Commons CC0, source sur github. Développé avec Pelican. Thème adapté de pelican-svbhack par Giulio Fidente.