The opentheory tool processes higher order logic theory packages.
The opentheory tool is being actively developed: the latest version is opentheory 1.3 (release 20170524). The opentheory tool is free software, released under the MIT License. Check out the development version to adapt the opentheory tool for your own applications.
To report bugs, request features, or obtain help using the opentheory tool, please email firstname.lastname@example.org