OMDoc.org: JOMDoc

JOMDoc is a Java API for OMDoc documents, which facilitates the parsing of OMDoc XML documents into a Java data structure, to manipulate them conveniently.

Recent Features

• Encoding and Decoding of OMDoc Documents into Internal Data Structure
• Conversion of OMDoc into Arbitrary Formats
• Context-Aware Conversion of Content-Math into Presentation MathML

Recent Application

• Done: Integration with Verifun
• Now: Integration with TPTP
• Soon: Integration with OMBase, SWiM, and panta rhei