Package Details: minlog-git 195.ff5c8ef-2

Git Clone URL: https://aur.archlinux.org/minlog-git.git (read-only)
Package Base: minlog-git
Description: Interactive proof system based on first order natural deduction calculus.
Upstream URL: http://www.mathematik.uni-muenchen.de/~logik/minlog/index.php
Licenses: GPL
Submitter: haawda
Maintainer: haawda
Last Packager: haawda
Votes: 1
Popularity: 0.000000
First Submitted: 2015-06-20 05:56
Last Updated: 2018-03-19 21:02