Package Details: tutch-git r3.b199eff-1

Git Clone URL: https://aur.archlinux.org/tutch-git.git (read-only)
Package Base: tutch-git
Description: tutch is a tool for checking constructive proofs
Upstream URL: http://www2.tcs.ifi.lmu.de/~abel/tutch/
Licenses: unknown
Conflicts: tutch
Provides: tutch
Submitter: rmanne
Maintainer: rmanne
Last Packager: rmanne
Votes: 0
Popularity: 0.000000
First Submitted: 2015-09-27 23:52
Last Updated: 2015-09-28 12:16

Dependencies (2)

Required by (0)

Sources (1)