Explore projects

Devoir maison du cours Systèmes et Vérification donné par Colin Riba en M1IF.

Course notes of Colin Riba's and Pierre Clairambault's Advanced Semantics course.

Tout le code pour ma thèse :)

mon super projet avec rebiscouille!

This is the homework and presentation for the M2IF course CR02 "Selected Topics in Information Theory" given by Samir Perlaza, Jean-Marie Gorce and Malcolm Egan at ENS Lyon. This work was done jointly with Ambroise Baril.

Physique et Informatique Fondamentale, année 2020-2021

Supports de cours pour le cours ESP-3201: culture du Moyen-âge hispanique