Package Details: tutch 0.53-1

Git Clone URL: https://aur.archlinux.org/tutch.git (read-only, click to copy)
Package Base: tutch
Description: A tool for checking constructive proofs
Upstream URL: http://www.cse.chalmers.se/~abela/tutch/
Licenses: custom:UNLICENSE
Provides: tutch
Submitter: ilai
Maintainer: ilai
Last Packager: ilai
Votes: 1
Popularity: 0.000000
First Submitted: 2017-09-12 18:06 (UTC)
Last Updated: 2017-09-12 18:06 (UTC)