Пакет исходного кода: minlog (4.0.99.20100221-6)
Ссылки для minlog
Ресурсы Debian:
Сопровождающий:
Внешние ресурсы:
- Сайт [www.minlog-system.de]
Из этого пакета исходного кода собираются следующие двоичные пакеты:
- minlog
- Proof assistant based on first order natural deduction calculus
Другие пакеты, относящиеся к minlog
-
- adep:
debhelper
(>= 7.1)
- вспомогательные программы для debian/rules
-
- adep:
racket
- расширяемый язык программирования из семейства Scheme
-
- adep:
texlive
(>= 2007-11)
- TeX Live: популярный набор пакетов издательской системы TeX Live