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

[ Paquet source : proofgeneral  ]

frontal générique pour des systèmes de manipulation de preuves – documentation

« Proof General » est un mode majeur d'Emacs pour le transformer en système d’assistant de preuves interactif afin d'écrire des preuves mathématiques formelles en utilisant toute une variété de théorèmes.

Ce paquet fournit le manuel d’utilisation de Proof General aux formats info, HTML et PDF.

Étiquettes: Domaine: Mathématiques, Fait de: HTML, Hypertext Markup Language, Rôle: Documentation, Ensemble d'application: suite::emacs, use::checking

Autres paquets associés à proofgeneral-doc

• rec: info-browser

  paquet virtuel fourni par emacs-gtk, emacs-lucid, emacs-nox, info, jed, jed-extra, konqueror, pinfo, tkinfo, xemacs21-mule, xemacs21-mule-canna-wnn, xemacs21-nomule, xjed

  ou pdf-viewer

  paquet virtuel fourni par apvlv, atril, evince, gv, mupdf, okular, qpdfview, viewpdf.app, xpdf, zathura-pdf-poppler

  ou www-browser

  paquet virtuel fourni par chromium, dillo, edbrowse, elinks, epiphany-browser, falkon, firefox-esr, hv3, konqueror, links, links2, luakit, lynx, morph-browser, netrik, netsurf-fb, netsurf-gtk, qutebrowser, sugar-browse-activity, surf, w3m, xemacs21-mule, xemacs21-mule-canna-wnn, xemacs21-nomule

• sug: proofgeneral

  frontal générique d’assistants de preuve

Télécharger proofgeneral-doc

Télécharger pour toutes les architectures proposées

Architecture	Taille du paquet	Espace occupé une fois installé	Fichiers
all	665,8 ko	1 556,0 ko	[liste des fichiers]