| changelog | download | home | install | notes | requests |
opentheory is a tool for processing higher order logic theory packages.
The latest version is opentheory 1.1 (release 20120205), released under version 2 of the GNU General Public Licence.
To report bugs, request features, or obtain help using opentheory, please email opentheory-users@gilith.com