Explore GitLab
Discover projects, groups and snippets. Share your projects with others
-
Yet Another Proof Asistant (for fun).
-
CR10 project
-
Workshop Fondations et Information Quantique
-
Workshop on Permanantal and Determinantal processes: from quantum physics to signal processing.
-
-
Voronoi algorithm for pure cubic fields
-
-
J'abhorre ce projet, et exècre sa vaine existence
-
-
Quelques informations utiles à afficher sur les écrans des couloirs de l'ENS.
-
-
-
-
-
-
-
Travaux Pratiques d'Informatique pour les élèves d'Option Info du lycée Henri Wallon.
-
-
Tout le code pour ma thèse :)