toutes les options
squeeze  ]
[ Paquet source : proofgeneral  ]

Paquet : proofgeneral-minlog (3.7-4)

Liens pour proofgeneral-minlog

Screenshot

Ressources Debian :

Télécharger le paquet source proofgeneral :

Responsable :

Ressources externes :

Paquets similaires :

interface générique pour des systèmes de manipulation de preuves -- support de Minlog

« 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 la gestion de Proof General du démonstrateur Minlog qui est disponible dans un autre paquet. Ce paquet est cependant non requis pour l'édition simple de fichier Minlog.

Autres paquets associés à proofgeneral-minlog

  • dépendances
  • recommandations
  • suggestions
  • enhances

Télécharger proofgeneral-minlog

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