Explore projects

Cours de Sémantique et Vérification donné à l'ENS de Lyon.

Computational Complexity course given by Omar Fawzi at the ENS.

Cours de Base de Données et Data Mining.

Notes de cours du cours Preuves et Programmes donné par Philippe Audebaud.

These are my notes from the Cryptography and Security course given by Omar Fawzi.

Initiation à la rédaction de documents structurés avec LaTeX.

TP Data Mining 1: Direct Sampling of the Pattern Space.

Cours de logique 2017

Fork of https://gitlab.aliens-lyon.fr/gcluzel/Cours_de_Logique - update and corrections, summer term 2019

Un superbe projet de qualité supérieure

ACM exercices from UVA.