Coq

Il fournit une langue formelle pour écrire des définitions mathématiques.
Télécharger maintenant

Coq Classement & Résumé

Publicité

  • Rating:
  • Licence:
  • Freeware
  • Nom de l'éditeur:
  • Coq Development Team
  • Systèmes d'exploitation:
  • Windows
  • Taille du fichier:
  • 53.7 MB

Coq Mots clés


Coq La description

COQ est un système de gestion de la preuve formelle. Il fournit une langue formelle pour écrire des définitions mathématiques, des algorithmes exécutables et des théorèmes avec un environnement pour le développement semi-interactif des épreuves vérifiées par la machine. Les applications typiques incluent la formalisation de la sémantique des langues de programmation, la formalisation des mathématiques et de l'enseignement. Partagez votre expérience: Écrivez un avis sur ce programme


Coq Logiciels associés

Polycalc

Calculez-le à l'aide d'une calculatrice multifonctionnelle avec beaucoup de mises en page de clavier. ...

66 6.7 MB

Télécharger

À propos de nous