What is opentheory?

opentheory is a tool for processing higher order logic theory packages.

Features of opentheory

• Coded in Standard ML (SML), and ported to the MLton, Poly/ML and Moscow ML compilers.
• The tool is used to power the OpenTheory project.

Project Status

The latest version is opentheory 1.0 (release 20100324), released under version 2 of the GNU General Public Licence.

Contact

To report bugs, request features, or obtain help using opentheory, please email joe@gilith.com