Explore projects

ACM exercices from UVA.

TD d’APPD 2018-2019

Documents administratifs du Bureau Ludique, pour toustes les bulistes.

Plein de jolis fichier coq pour s'entrainer, décrivant des preuves de tout et n'importe quoi.