mon git "public"

An article in which I show that presheaves in groupoids on a (weak) test category model homotopy types.

Documents pour le cours de programmation fonctionnelle (M2 LMFI)

Cours de Coq au M2 LMFI (partie 1 programmation fonctionnelle + partie 2 preuves formelles)