all options
squeeze  ]
[ Source: proofgeneral  ]

Package: proofgeneral-minlog (3.7-4)

Links for proofgeneral-minlog

Screenshot

Debian Resources:

Download Source Package proofgeneral:

Maintainer:

External Resources:

Similar packages:

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.

Other Packages Related to proofgeneral-minlog

  • depends
  • recommends
  • suggests
  • enhances

Download proofgeneral-minlog

Download for all available architectures
Architecture Package Size Installed Size Files
all 19.7 kB96.0 kB [list of files]