Package Details: opentheory 1:1.3.20180226-2

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 (larsrh)
Last Packager: larsrh
Votes: 1
Popularity: 0.000000
First Submitted: 2012-08-10 10:27
Last Updated: 2018-03-12 10:58