OMDoc has been developed by the German mathematician and computer scientist Michael Kohlhase since 1998.
OMDoc wird seit 1998 von dem deutschen Mathematiker und Informatiker Michael Kohlhase entwickelt.