» Ubuntu » Пакети » resolute » math » minlog

[ jammy ] [ noble ] [ plucky ] [ questing ] [ resolute ]

[ Източник: minlog ]

Пакет: minlog (4.0.99.20100221-8) [universe]

Връзки за minlog

Ресурси за Ubuntu:

Изтегляне на пакет-източник minlog.

Отговорник:

Ubuntu MOTU Developers (Пощенски архив)

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

Original Maintainers (usually from Debian):

Debian Science Maintainers (Пощенски архив)
Andreas Tille

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

Външни препратки:

Начална страница [www.minlog-system.de]

Подобни пакети:

Proof assistant based on first order natural deduction calculus

Други пакети, свързани с minlog

зависимости

препоръчани

предложени

enhances

dep: racket

extensible programming language in the Scheme family

или guile

виртуален пакет, предлаган от guile-2.2, guile-3.0

rec: emacs25

Пакетът не е наличен

или emacs24

Пакетът не е наличен

или emacsen

виртуален пакет, предлаган от emacs-gtk, emacs-lucid, emacs-nox, emacs-pgtk, xemacs21-mule, xemacs21-mule-canna-wnn, xemacs21-nomule

sug: proofgeneral-minlog

Пакетът не е наличен
sug: quack-el

Пакетът не е наличен

Изтегляне на minlog

Изтегляне за всички налични архитектури
Архитектура	Големина на пакета	Големина след инсталиране	Файлове
all	2 588,4 кБ	7 643,0 кБ	[списък на файловете]