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 à 18h27

1 message

Aucune réponse

VCoq

Un IDE pour Coq 100% dans vim Par QuanticPotato - Jeudi 12 février 2015 à 20h38 12/02/15 à 20h38

1 message

Aucune réponse