Documentation

• The OpenTheory project home page.
• The command opentheory help is used to display tool help, including the options available for each command.
• A list of Frequently Asked Questions about the opentheory tool.
• The file format standard of proof articles (.art files).

History

The OpenTheory project was initiated by Joe Hurd (HOL4) and Rob Arthan (ProofPower).

Author

The opentheory tool is developed by Joe Hurd.