Explore projects
-
-
Updated
-
Updated
-
Updated
-
Updated
-
Updated
-
Updated
-
Updated
-
Updated
-
Updated
-
Voici le code que j'ai produit lors de mon stage à l'INRIA durant l'été 2019.
Updated -
Updated
-
-
Formalization of https://hal-ens-lyon.archives-ouvertes.fr/ensl-00737881
Updated -
Updated
-
Updated
-
Plein de jolis fichier coq pour s'entrainer, décrivant des preuves de tout et n'importe quoi.
Updated -
Ilma / coralien
The UnlicenseUpdated -