Paket: proofgeneral-misc (3.7-3.1) [universe]

Länkar för proofgeneral-misc

Ubunturesurser:

Hämta källkodspaketet proofgeneral:

Ansvarig:

Ubuntu MOTU Developers (E-postarkiv)

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

Original Maintainer (usually from Debian):

Stefan Schimanski

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

Externa resurser:

Hemsida [proofgeneral.inf.ed.ac.uk]

Liknande paket:

generic interface for proof assistants - theorem provers support

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. It works with either XEmacs or GNU Emacs.

This package provides the Proof General support for several theorem provers which are not available as packages yet. Phox, Plastic, Twelf.

Andra paket besläktade med proofgeneral-misc

beror

rekommenderar

föreslår

dep: proofgeneral

generic interface for proof assistants - common package

Hämta proofgeneral-misc

Hämtningar för alla tillgängliga arkitekturer
Arkitektur	Paketstorlek	Installerad storlek	Filer
all	138,8 kbyte	732,0 kbyte	[filförteckning]