Tag : coq
Problème avec un dependent pattern matching
Comment aider Coq à se souvenir qu’ils font la même taille ? Par lthms - Mardi 03 janvier 2017 à 18h27 03/01/17 à 18h271 message
Aucune réponse
VCoq
Un IDE pour Coq 100% dans vim Par QuanticPotato - Jeudi 12 février 2015 à 20h38 12/02/15 à 20h381 message
Aucune réponse