Explore projects
-
Updated
-
An article in which I show that presheaves in groupoids on a (weak) test category model homotopy types.
Updated -
Updated
-
Updated
-
Updated
-
Updated
-
-
Updated
-
Updated
-
Updated
-
Raphaël Cauderlier / Sigmaid
CeCILL-B Free Software License AgreementUpdated -
-
Updated
-
Documents pour le cours de Preuves de M1 (ou celui du M2 LMFI)
Updated -
Raphaël Cauderlier / dktactics
GNU General Public License v3.0 onlyDependently-typed tactics and certificate checking in Meta Dedukti
Updated -
Continent du matériel d'enseignement que je souhaite rendre public
Updated