Leo Orshansky est un utilisateur de Stack Exchange, si vous cliquez sur le lien, vous verrez son profil.
Dernières questions
- 1 rep
Coq - Comment appliquer une implication avec une clause de correspondance ?
el 25 de Juin, 2021 3 votes
Dernières réponses
-
N'a rien répondu encore.
Tags préférés
- 1 x coq-tactic
- 1 x coq