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.
