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:

interfaccia generica per assistenti alla dimostrazione - gestione di Minlog

Proof General è una modalità principale che trasforma Emacs in un assistente interattivo alla dimostrazione per scrivere dimostrazioni matematiche formali usando diversi dimostratori di teoremi. Funziona tanto con XEmacs quanto con GNU Emacs.

Questo pacchetto permette la gestione in Proof General del dimostratore di teoremi Minlog, disponibile in un altro pacchetto, però non è necessario per la sola scrittura di file 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]