A set of OMDoc Documents that tries to use all available elements
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.