From MathWeb

MBase is a distributed database for OMDoc, developed by Michael Kohlhase and Andreas Franke

See also

• Ideas for a re-implementation

Resources

• Trac URL (bug tracker)
• homepage