Source Package: minlog (18.104.22.16800221-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