Skip to content
Snippets Groups Projects
Normal view Permalink
omdoc.md 520 B
Newer Older
  • Learn to ignore specific revisions
    • Michael Kohlhase's avatar
    more systems
    Michael Kohlhase committed
    1 2 3 4 5 6 7 8 9 10 11 
    ---
layout: system
menu_title: OMDoc
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.
homepage: http://omdoc.org
repository: http://github.com/OMDoc
people: mkohlhase
---

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.