Package Details: opentheory 1.3r20160515-1

Git Clone URL: https://aur.archlinux.org/opentheory.git (read-only)
Package Base: opentheory
Description: a tool for processing higher-order logic theory packages
Upstream URL: http://www.gilith.com/software/opentheory
Licenses: MIT
Submitter: xrchz
Maintainer: xrchz
Last Packager: xrchz
Votes: 1
Popularity: 0.000000
First Submitted: 2012-08-10 10:27
Last Updated: 2016-05-23 04:34

Dependencies (1)

Required by (0)

Sources (1)