Source Package: minlog (22.214.171.12400221-5.2) [universe]
Links for minlog
Original Maintainer (usually from Debian):
- Freiric Barral
It should generally not be necessary for users to contact the original maintainer.
- Homepage [www.minlog-system.de]
- Proof assistant based on first order natural deduction calculus
Other Packages Related to minlog