[ Kaynak: proofgeneral ]
Paket: proofgeneral (4.5-3build1) [universe]
proofgeneral için bağlantılar
Ubuntu Kaynakları:
proofgeneral Kaynak Paketini İndir:
- [proofgeneral_4.5.orig.tar.gz]
- [proofgeneral_4.5-3build1.debian.tar.xz]
- [proofgeneral_4.5-3build1.dsc]
Geliştirici:
Please consider filing a bug or asking a question via Launchpad before contacting the maintainer directly.
Original Maintainers (usually from Debian):
- Debian Math Team
- Julien Puydt
It should generally not be necessary for users to contact the original maintainer.
Dış Kaynaklar:
- Ana Sayfa [proofgeneral.github.io]
Benzer paketler:
generic frontend for proof assistants
proofgeneral ile İlgili Diğer Paketler
|
|
|
|
-
- 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
| Mimari | Paket Boyutu | Kurulu Boyut | Dosyalar |
|---|---|---|---|
| all | 576,0 kB | 2.140,0 kB | [dosya listesi] |