Pacote: proofgeneral (4.5-3)

Links para proofgeneral

Rastreador de patch eLxr

Baixe o pacote-fonte proofgeneral:

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

Mantenedores(as):

Debian Math Team
Julien Puydt

Fontes externas:

Pagina principal [proofgeneral.github.io]

Pacotes similares:

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

Outros pacotes relacionados a proofgeneral

depende

recomenda

sugere

melhora

dep: emacs

GNU Emacs editor (metapackage)
também um pacote virtual fornecido por emacs-gtk, emacs-lucid, emacs-nox, emacs-pgtk

sug: proofgeneral-doc

generic frontend for proof assistants - documentation
sug: prooftree

Pacote não disponível

Download de proofgeneral

Baixe para todas as arquiteturas disponíveis
Arquitetura	Tamanho do pacote	Tamanho instalado	Arquivos
all	625.6 kB	2,140.0 kB	[lista de arquivos]