Explore projects

Le super projet de Martin et Gaspard

Formalization of https://hal-ens-lyon.archives-ouvertes.fr/ensl-00737881

Réservation étudiantes des salles de l'ENS de Lyon.

This is the homework for the M2IF course CR08 "Quantum Information and Computation" given by Omar Fawzi at ENS Lyon.

Cours de logique 2017

Notes et cours de la License 3 Informatique de l'ENS de Lyon

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

cours projet2

Voronoi algorithm for pure cubic fields