Installion's Lion Logo

Installion.co.uk

How To Install minlog On Debian 8

To install minlog just follow these instructions.

Install minlog

Proof assistant based on first order natural deduction calculusDebian 8.0math4.0.99.20100221-5.2
sudo apt-get install minlog

Which will install minlog and any other packages on which it depends.

Package Data

Packageminlog
Version4.0.99.20100221-5.2
MaintainerFreiric Barral <barral@math.lmu.de>
Home pagehttp://www.minlog-system.de
DescriptionProof assistant based on first order natural deduction calculus
Distrodebian
Releasejessie
Repomain
Sectionmath

Dependencies