package names descriptions source package names package contents all options

[  jammy  ] [  noble  ] [  questing  ] [  resolute  ] [  stonking  ]

[ Source: proofgeneral  ]

Links for proofgeneral-doc

Ubuntu Resources:

• Bug Reports
• Ubuntu Changelog
• Copyright File

Download Source Package proofgeneral:

• [proofgeneral_4.5.orig.tar.gz]
• [proofgeneral_4.5-3build1.debian.tar.xz]
• [proofgeneral_4.5-3build1.dsc]

Maintainer:

• Ubuntu MOTU Developers (Mail Archive)

Please consider filing a bug or asking a question via Launchpad before contacting the maintainer directly.

Original Maintainers (usually from Debian):

• Debian Math Team
• Julien Puydt

It should generally not be necessary for users to contact the original maintainer.

External Resources:

• Homepage [proofgeneral.github.io]

Similar packages:

• libcoq-stdlib
• coqide
• coq
• python3-wyoming
• netwag-doc
• prooftree
• libghc-generic-random-doc
• libghc-generic-deriving-doc
• libghc-random-source-doc
• libghc-uniplate-doc
• libghc-yi-frontend-pango-doc

Other Packages Related to proofgeneral-doc

depends

recommends

suggests

enhances

• rec: info-browser

  virtual package provided by emacs-gtk, emacs-lucid, emacs-nox, emacs-pgtk, info, jed, jed-extra, konqueror, pinfo, tkinfo, xemacs21-mule, xemacs21-mule-canna-wnn, xemacs21-nomule, xjed

  or pdf-viewer

  virtual package provided by apvlv, atril, evince, gv, mupdf, okular, papers, qpdfview, viewpdf.app, xpdf, zathura-pdf-poppler

  or www-browser

  virtual package provided by chromium-browser, dillo, edbrowse, elinks, epiphany-browser, falkon, firefox, konqueror, links, links2, luakit, lynx, morph-browser, netrik, netsurf-fb, netsurf-gtk, privacybrowser, qutebrowser, sugar-browse-activity, surf, vimb, w3m, xemacs21-mule, xemacs21-mule-canna-wnn, xemacs21-nomule

• sug: proofgeneral

  generic frontend for proof assistants

Download proofgeneral-doc

Download for all available architectures

Architecture	Package Size	Installed Size	Files
all	634.3 kB	1,515.0 kB	[list of files]