all options
jessie  ] [  stretch  ] [  bullseye  ] [  sid  ]
[ Source: proofgeneral  ]

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

Links for proofgeneral-doc


Debian Resources:

Download Source Package proofgeneral:


External Resources:

Similar packages:

generic frontend for proof assistants - documentation

Proof General is a major mode to turn Emacs into an interactive proof assistant to write formal mathematical proofs using a variety of theorem provers.

This package provides the Proof General user manual in info, html and pdf form.

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,558.0 kB [list of files]