minlog - 4.0.99.20100221-6 main

Proof assistant based on first order natural deduction calculus

Section: math
Suites: amber byzantium landing 
Maintainer: Debian QA Group <packages@qa.debian.org>
 
Homepage Source Package
 

Dependencies

Installed Size: 7.7 MB
Architectures: all 

 

Versions

4.0.99.20100221-6 all