Paketti: proofgeneral (4.5-3)

Links for proofgeneral

eLxr Patch Tracker

Imuroi lähdekoodipaketti proofgeneral:

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

Ylläpitäjät:

Debian Math Team
Julien Puydt

External Resources:

Kotisivu [proofgeneral.github.io]

Samankaltaisia paketteja:

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.)

Muut pakettiin proofgeneral liittyvät paketit

depends

recommends

suggests

enhances

dep: emacs

GNU Emacs editor (metapackage)
myös näennäispaketti, jonka toteuttaa emacs-gtk, emacs-lucid, emacs-nox, emacs-pgtk

sug: proofgeneral-doc

generic frontend for proof assistants - documentation
sug: prooftree

Paketti ei saatavilla

Imuroi proofgeneral

Imurointi kaikille saataville arkkitehtuureille
Arkkitehtuuri	Paketin koko	Koko asennettuna	Tiedostot
all	625.6 kt	2,140.0 kt	[tiedostoluettelo]