changelog download home install notes

What is the opentheory tool?

The opentheory tool processes higher order logic theory packages.

Features of the opentheory tool

Project status

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