[  etch  ] [  etch-m68k  ] [  lenny  ] [  squeeze  ] [  sid  ]
[ Paquet source : proofgeneral  ]

Paquet : proofgeneral-coq (3.7-3)

interface générique pour les outils d'aide à la preuve - support de Coq

« Proof General » est un mode majeur d'Emacs pour le transformer en système de manipulation de preuves interactif afin d'écrire des preuves mathématiques formelles en utilisant toute une variété de théorèmes. Il fonctionne aussi bien avec XEmacs qu'avec GNU Emacs.

Ce paquet fournit le support de « Proof General » pour l'outil d'aide à la preuve de théorèmes Coq, qui est disponible via un autre paquet. Ce paquet n'est cependant pas nécessaire pour l'édition de fichiers Coq.

Étiquettes: Field: Mathématiques, User Interface: Command Line, Role: Plugin, Application Suite: Emacs, Purpose: Checking

Autres paquets associés à proofgeneral-coq

  • dépendances
  • recommandations
  • suggestions
  • dep: proofgeneral
    generic interface for proof assistants - common package
  • rec: coq
    proof assistant for higher-order logic (toplevel and compiler)

Télécharger proofgeneral-coq

Télécharger pour toutes les architectures proposées
Architecture Taille du paquet Espace occupé une fois installé Fichiers
all 70,0 ko336 ko [liste des fichiers]