» Ubuntu » Pakete » resolute (26.04LTS) » math » minlog

[ jammy ] [ noble ] [ questing ] [ resolute ] [ stonking ]

[ Quellcode: minlog ]

Paket: minlog (4.0.99.20100221-8) [universe]

Links für minlog

Ubuntu-Ressourcen:

Quellcode-Paket minlog herunterladen:

Betreuer:

Ubuntu MOTU Developers (E-Mail-Archiv)

Please consider filing a bug or asking a question via Launchpad before contacting the maintainer directly.

Original Maintainers (usually from Debian):

Debian Science Maintainers (E-Mail-Archiv)
Andreas Tille

It should generally not be necessary for users to contact the original maintainer.

Externe Ressourcen:

Homepage [www.minlog-system.de]

Ähnliche Pakete:

Proof assistant based on first order natural deduction calculus

Andere Pakete mit Bezug zu minlog

hängt ab von

empfiehlt

schlägt vor

enhances

dep: racket

extensible programming language in the Scheme family

oder guile

virtuelles Paket, bereitgestellt durch guile-2.2, guile-3.0

rec: emacs25

Paket nicht verfügbar

oder emacs24

Paket nicht verfügbar

oder emacsen

virtuelles Paket, bereitgestellt durch emacs-gtk, emacs-lucid, emacs-nox, emacs-pgtk, xemacs21-mule, xemacs21-mule-canna-wnn, xemacs21-nomule

sug: proofgeneral-minlog

Paket nicht verfügbar
sug: quack-el

Paket nicht verfügbar

minlog herunterladen

Download für alle verfügbaren Architekturen
Architektur	Paketgröße	Größe (installiert)	Dateien
all	2.588,4 kB	7.643,0 kB	[Liste der Dateien]