pintoch est un utilisateur de Stack Exchange, si vous cliquez sur le lien, vous verrez son profil.
Dernières questions
- 1 rep
Déplier les définitions imbriquées en Coq
el 4 de Décembre, 2018 3 votes
Dernières réponses
-
N'a rien répondu encore.