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.
- 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
- Done: Integration with Verifun
- Now: Integration with TPTP
- Soon: Integration with OMBase, SWiM, and panta rhei