Coq 0.2 - Écrire sa première preuve

Описание к видео Coq 0.2 - Écrire sa première preuve

Comment écrire une formule et la prouver en Coq ?
Voici un tuto décrivant les premières commandes à connaître pour prouver des formules de logique propositionnelle.

Комментарии

Информация по комментариям в разработке