» Ubuntu » Пакеты » resolute (26.04LTS) » math » minlog

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

[ Источник: 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 Кб	[список файлов]