Index.php/OMDoc + redirect page
Metamath to OMDoc Bridge +,
F-Logic in OMDoc +,
Locutor +,
…
Based on
CPoint +,
SWiM +,
Sentido + Edits
OMDoc (Book) + Has topic
QMath +,
STeX + Notation for
| OMDoc |
Homepage
http://www.omdoc.org
MailinglistAddress
project-omdoc@jacobs-university.de, project-omdoc-dev@jacobs-university.de
MailinglistHomepage
http://lists.jacobs-university.de/mailman/listinfo/project-omdoc, http://lists.jacobs-university.de/mailman/listinfo/project-omdoc-dev
SVN URL
https://svn.omdoc.org/repos/omdoc/branches/omdoc-1.2
Trac URL
https://trac.omdoc.org/OMDoc
Based on
XML +
Developed by
Michael Kohlhase +
Funded by
Jacobs University Bremen +
Has application
Mathematical knowledge representation +
Instance of
Markup language +
Categories KWARC project +, Mathematical knowledge management +, OMDoc +, Ontology language +, Semantic markup language +
|
