Skip to content
Snippets Groups Projects
Select Git revision
  • master default
  • patch-1
2 results
Blame Permalink
Forked from KWARC / kwarc.info / www
1120 commits behind the upstream repository.
omdoc.md 520 B 
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.