Pacote: proofgeneral (4.4.1~pre170114-1.2)

Links para proofgeneral

Recursos de Debian:

Baixe o pacote-fonte proofgeneral:

Mantenedor(a):

Hendrik Tews (QA Página)

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-gtk

editor GNU Emacs (com suporte a interface GTK+)
dep: mmm-mode

Modos Principais Diversos para Emacs

sug: proofgeneral-doc

generic frontend for proof assistants - documentation
sug: prooftree

proof-tree visualization for Proof General

Download de proofgeneral

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