Skip to content
Snippets Groups Projects
Select Git revision
  • b94ea5976e6a56a6bbec0f9d3709e2f5e0616c76
  • master default
  • patch-1
3 results

omdoc.md

Blame
  • Forked from KWARC / kwarc.info / www
    1057 commits behind the upstream repository.
    user avatar
    Tom Wiesing authored
    f0c97b9e
    History
    omdoc.md 532 B
    layout: system
    
    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.
    
    start_date: '1998'
    
    people: 
        - mkohlhase
    
    website: http://omdoc.org
    repository: https://github.com/OMDoc

    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.