Skip to content

examples.md

Latest commit

 

History

History
16 lines (12 loc) · 955 Bytes

examples.md

File metadata and controls

16 lines (12 loc) · 955 Bytes
layout default
title OMDoc examples

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.