1 Logique combinatoire - LIX
Examen cours 2-7-2 Assistants de preuve. Mardi 12 février 2008 ... Définir en
Coq le type des termes de la logique combinatoire. 2. Définir une relation ...
Examen cours 2-7-2 Assistants de preuve. Mardi 12 février 2008 ... Définir en
Coq le type des termes de la logique combinatoire. 2. Définir une relation ...