Typo

Retourner au contenu associé (dépêche : Sortie de Coq 8.5 bêta, un assistant de preuve formelle)

# Typo

Posté par reynum (site web personnel) le 29 janvier 2015 à 08:17. En réponse à la dépêche Sortie de Coq 8.5 bêta, un assistant de preuve formelle. Évalué à 3.

utilisé comme système interactif pour d'apprentissage de la logique

kentoc'h mervel eget bezan saotred