all options
bullseye  ] [  bookworm  ] [  sid  ]
[ Source: proofgeneral  ]

Package: proofgeneral-doc (4.4.1~pre170114-1.2)

Links for proofgeneral-doc

Screenshot

Debian Resources:

Download Source Package proofgeneral:

Maintainer:

External Resources:

Similar packages:

frontend generico per assistenti alla dimostrazione - documentazione

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

Questo pacchetto fornisce il manuale utente di Proof General nei formati info, HTML e PDF.

Tags: Field: Mathematics, Made Of: HTML, Hypertext Markup Language, Role: Documentation, Application Suite: suite::emacs, use::checking

Other Packages Related to proofgeneral-doc

  • depends
  • recommends
  • suggests
  • enhances

Download proofgeneral-doc

Download for all available architectures
Architecture Package Size Installed Size Files
all 665.8 kB1,556.0 kB [list of files]