#XSLT Stylesheets for OMDoc

As OMDoc is an XML application, we can use the XSL(T) style sheet language for transforming OMDoc documents into other formats.

As mathematics heavily relies on notational conventions for symbols and expressions, these style sheets should be augmented by templates that can be generated specifically for the source document to get good results. OMDoc provides a common architecture for this, which we have used in the examples on this page.

Stylesheets for presenting OMDoc Documents to humans

Stylesheets for transforming them into machine prover input