Explore GitLab
Discover projects, groups and snippets. Share your projects with others
-
-
-
Code for the Graph Diffusion Wasserstein Distances paper.
-
-
-
-
-
-
-
J'abhorre ce projet, et exècre sa vaine existence
-
Yet Another Proof Asistant (for fun).
-
-
-
Premier devoir maison du cours de Calcul Formel (Computer Algebra) donnée par Guillaume Hanrot et Stéphan Thomassé au M1IF.
-
Devoir maison du cours Systèmes et Vérification donné par Colin Riba en M1IF.
-
c2i2e, ue 6 -- Vertex Cover renommé "Éclairage de villes"
-
Supports de cours pour le cours ESP-3201: culture du Moyen-âge hispanique
-
-
-