» Ubuntu » Balíky » resolute (26.04LTS) » math » minlog

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

[ Zdroj: minlog ]

Balík: minlog (4.0.99.20100221-8) [universe]

Odkazy pre minlog

Zdroje Ubuntu:

Stiahnuť zdrojový balík minlog:

Správca:

Ubuntu MOTU Developers (Konferencia)

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

Original Maintainers (usually from Debian):

Debian Science Maintainers (Konferencia)
Andreas Tille

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

Externé zdroje:

Domovská stránka [www.minlog-system.de]

Podobné balíky:

Proof assistant based on first order natural deduction calculus

Ostatné balíky súvisiace s balíkom minlog

závisí

odporúča

navrhuje

enhances

dep: racket

extensible programming language in the Scheme family

alebo guile

virtuálny balík poskytovaný balíkom guile-2.2, guile-3.0

rec: emacs25

Balík nie je dostupný

alebo emacs24

Balík nie je dostupný

alebo emacsen

virtuálny balík poskytovaný balíkom emacs-gtk, emacs-lucid, emacs-nox, emacs-pgtk, xemacs21-mule, xemacs21-mule-canna-wnn, xemacs21-nomule

sug: proofgeneral-minlog

Balík nie je dostupný
sug: quack-el

Balík nie je dostupný

Stiahnuť minlog

Stiahnuť pre všetky dostupné architektúry
Architektúra	Veľkosť balíka	Nainštalovaná veľkosť	Súbory
all	2,588.4 kB	7,643.0 kB	[zoznam súborov]