Paket: proofgeneral (4.5-3)

proofgeneral için bağlantılar

eLxr Yama Takipçisi

proofgeneral Kaynak Paketini İndir:

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

Geliştiriciler:

Debian Math Team
Julien Puydt

Dış Kaynaklar:

Ana Sayfa [proofgeneral.github.io]

Benzer paketler:

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

proofgeneral ile İlgili Diğer Paketler

bağımlılıklar

tavsiye edilen

önerilen

enhances

dep: emacs

GNU Emacs editor (metapackage)
ayrıca şunun tarafından sağlanan bir sanal paket emacs-gtk, emacs-lucid, emacs-nox, emacs-pgtk

sug: proofgeneral-doc

generic frontend for proof assistants - documentation
sug: prooftree

Paket mevcut değil

proofgeneral indir

Tüm mevcut mimariler için indir
Mimari	Paket Boyutu	Kurulu Boyut	Dosyalar
all	625,6 kB	2.140,0 kB	[dosya listesi]