Explore projects
-
aatem / binder-template
MIT LicenseUpdated -
Updated
-
Pascal MOLIN / plasma
BSD 3-Clause "New" or "Revised" LicenseUpdated -
-
Updated
-
Updated
-
Updated
-
Pascal MOLIN / ical-ufr
BSD Zero Clause LicenseUpdated -
An article in which I show that presheaves in groupoids on a (weak) test category model homotopy types.
Updated -
Updated
-
Guillaume Garrigos / L3Optim TP
MIT LicenseUpdated -
Updated
-
Updated
-
Updated
-
Updated
-
Cours de Coq au M2 LMFI (partie 1 programmation fonctionnelle + partie 2 preuves formelles)
Updated -
Updated