Lecture Notes in Artificial Intelligence, no. 4180.
•
OMDoc has been developed by the German mathematician and computer scientist Michael Kohlhase since 1998.