Explore projects
-
-
Updated
-
Updated
-
Initiation à l’utilisation d’Org-mode (avec Emacs).
Updated -
-
Notes du cours de Déduction Automatique et Algorithmes Distribués de Sébastien Tixeuil et Xavier Urbain.
Page du cours : https://perso.liris.cnrs.fr/xavier.urbain/ens/m2ensl.html
Updated -
Updated
-
Updated
-
This is the homework for the M2IF course CR08 "Quantum Information and Computation" given by Omar Fawzi at ENS Lyon.
Updated -
-
Updated
-
Updated
-
-
Updated
-
Updated
-
Updated
-
Updated
-
Plein de jolis fichier coq pour s'entrainer, décrivant des preuves de tout et n'importe quoi.
Updated -
Updated
-
Une extension Mediawiki permettant automatiquement de renommer les comptes utilisateur·rices sur le Wiki suivant les changements de l'identity provider
Updated