Package: proofgeneral-doc (4.5-1)

[ Source: proofgeneral  ]

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

• rec: info-browser

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

  or pdf-viewer

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

  or www-browser

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

• sug: proofgeneral

  frontend generico per assistenti alla dimostrazione

Download proofgeneral-doc

Download for all available architectures

Architecture	Package Size	Installed Size	Files
all	681.4 kB	1,549.0 kB	[list of files]