all options
bullseye  ] [  bookworm  ] [  trixie  ] [  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:

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