Skip to content
Snippets Groups Projects
Normal view Permalink
omdoc.md 532 B
Newer Older
  • Learn to ignore specific revisions
    • Michael Kohlhase's avatar
    more systems
    Michael Kohlhase committed
    1 2 
    ---
layout: system
    Tom Wiesing's avatar
    Get systems pages ready for deployment  
    Tom Wiesing committed
    3
    Michael Kohlhase's avatar
    more systems
    Michael Kohlhase committed
    4 5 
    title: "OMDoc: Open Mathematical Documents"
teaser: A markup format and data model for Open Mathematical Documents. It serves as semantics-oriented representation format and ontology language for mathematical knowledge.
    Tom Wiesing's avatar
    Get systems pages ready for deployment  
    Tom Wiesing committed
    6 7 8 9 10 11 12 13 
    
start_date: '1998'

people: 
    - mkohlhase

website: http://omdoc.org
repository: https://github.com/OMDoc
    Michael Kohlhase's avatar
    more systems
    Michael Kohlhase committed
    14 15 16 
    ---

OMDoc is a markup format and data model for Open Mathematical Documents. It serves as semantics-oriented representation format and ontology language for mathematical knowledge.