Fiche Logiciel - The Coq Proof Assistant
The Coq Proof Assistant
Logiciel de vérification de théorèmes et bien plus encore. Il fournit un langage formel pour écrire des définitions mathématiques, des algorithmes exécutables et des théorèmes ainsi qu'un environnement pour le développement semi-interactif de preuves vérifiées par machine.
Discipline(s):
Non renseigné
Domaine(s) d'application:
Non renseigné
Mot(s)-clé(s):
Non renseigné
Aucun développeur associé.
Contact :
Contact non renseingé
Aucune équipe associée.
Aucun laboratoire associé.