Pacote: proofgeneral (4.5-3)

Links para proofgeneral

Recursos de Debian:

Baixe o pacote-fonte proofgeneral:

Mantenedores(as):

Fontes externas:

Pagina principal [proofgeneral.github.io]

Pacotes similares:

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

Etiquetas: Campo: Matemática, Implementado em: Lisp, Interface de usuário(a): interface::graphical, interface::text-mode, Sistema de janelas X, Função: Extensões, role::program, suite::emacs, Propósito: Edição, Sistema de janelas X: Aplicativos

Outros pacotes relacionados a proofgeneral

depende

recomenda

sugere

melhora

dep: emacs

Editor GNU Emacs (metapacote)
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]