» Ubuntu » 套件 » questing (25.10) » math » minlog

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

[ 原始碼： minlog ]

套件： minlog (4.0.99.20100221-7) [universe]

minlog 的相關超連結

Ubuntu 的資源：

下載原始碼套件 minlog：

維護者：

Ubuntu MOTU Developers (郵件存檔)

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

Original Maintainer (usually from Debian):

Debian QA Group

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,567.4 kB	7,555.0 kB	[文件列表]