Installion's Lion Logo

Installion.co.uk

How To Install minlog On Ubuntu 14.04 LTS

To install minlog just follow these instructions.

Install minlog

Proof assistant based on first order natural deduction calculusUbuntu 14.04 LTSuniverse/math4.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
MaintainerUbuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Home pagehttp://www.minlog-system.de
DescriptionProof assistant based on first order natural deduction calculus
Distroubuntu
Releasetrusty
Repouniverse
Sectionuniverse/math

Dependencies