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 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.