Package Details: opentheory 1:1.4.20180810-1

Git Clone URL: https://aur.archlinux.org/opentheory.git (read-only, click to copy)
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: larsrh
Votes: 1
Popularity: 0.000000
First Submitted: 2012-08-10 10:27 (UTC)
Last Updated: 2018-09-27 12:13 (UTC)