Anton Trunov est un utilisateur de Stack Exchange, si vous cliquez sur le lien, vous verrez son profil.
Dernières questions
-
Je n'ai encore rien demandé.
Dernières réponses
- 1 votes
Déplier les définitions imbriquées en Coq
el 8 de Juillet, 2016 1 votes - 5 votes
LTE pour les nombres entiers (ZZ)
el 6 de Septembre, 2017 5 votes