OMDoc Examples

A set of OMDoc Documents that tries to use all available elements

all.omdoc, poset.omdoc.
This set of interconnecting documents is intended as a stand-alone torture test for OMDoc tools (unfortunately, it is still incomplete in coverage).

Examples generated from other formats

• OpenMath CDs: OMDoc generated from the OpenMath [wiki:CDs Content Dictionaries]
• PVS Prelude: The prelude (theories preloaded by default) in the PVS specification and verification system.
• ActiveMath: A computer-supported learning system based on OMDoc presentation.