Explore GitLab
Discover projects, groups and snippets. Share your projects with others
-
-
-
Cours de logique 2017
-
-
-
Compilation des leçons d'informatiques de l'agrégation de 2020, telle qu'elles ont été revues en cours d'option D.
-
These are my notes from the Cryptography and Security course given by Omar Fawzi.
-
Cours de Machine Learning du second semestre de M1 informatique. Cours donné par Marc Sebban.
-
-
This is the git for my M2 internship "Twin-width and forbidden subdivisions". This work has been done under the supervision of Stéphan Thomassé, in collaboration with Édouard Bonnet, EunJung Kim, and Rémi Watrigant, at ENS Lyon, LIP, MC2.
-
Système de notification automatique pour événements associatifs.
-
-
-
Cours de Sémantique et Vérification donné à l'ENS de Lyon.
-
-
Computational Complexity course given by Omar Fawzi at the ENS.
-
Fork of https://gitlab.aliens-lyon.fr/gcluzel/Cours_de_Logique - update and corrections, summer term 2019
-
-
-
Course notes of Rémi Watrigant's and Édouard Bonnet's Parameterized and Exact Algorithms course.
