Paket: proofgeneral (4.5-3)

Länkar för proofgeneral

eLxr Patch Tracker

Hämta källkodspaketet proofgeneral:

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

Ansvariga:

Debian Math Team
Julien Puydt

Externa resurser:

Hemsida [proofgeneral.github.io]

Liknande paket:

coq
elpa-agda2-mode
agda
agda-bin
libghc-agda-dev
libcoq-mathcomp-classical
libghc-agda-doc
agda-stdlib
agda-stdlib-doc
libcoq-mathcomp-solvable
libcoq-mathcomp-real-closed

generic frontend for proof assistants

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 Proof General support for Coq. (There is no other proof assistant that one could sensibly support.)

Andra paket besläktade med proofgeneral

beror

rekommenderar

föreslår

enhances

dep: emacs

GNU Emacs editor (metapackage)
också ett virtuellt paket som tillhandahålls av emacs-gtk, emacs-lucid, emacs-nox, emacs-pgtk

sug: proofgeneral-doc

generic frontend for proof assistants - documentation
sug: prooftree

Paketet inte tillgängligt

Hämta proofgeneral

Hämtningar för alla tillgängliga arkitekturer
Arkitektur	Paketstorlek	Installerad storlek	Filer
all	625,6 kbyte	2.140,0 kbyte	[filförteckning]