Source Package: minlog (4.0.99.20100221-7)
Links for minlog
Trisquel Resources:
Maintainer:
Original Maintainer:
External Resources:
The following binary packages are built from this source package:
- minlog
- Proof assistant based on first order natural deduction calculus
Other Packages Related to minlog
-
- adep:
debhelper-compat
(= 13)
- Package not available
-
- adep:
racket
- extensible programming language in the Scheme family
-
- adep:
texlive
(>= 2007-11)
- TeX Live: A decent selection of the TeX Live packages