menu
TNTBase
A Versioned Storage for Mathematics (OMDoc)

Start: September 2009
End: August 2012


Prof. Dr. Michael Kohlhase
Dr. Vyacheslav Zholudev

TNTBase is a database which is optimized for storing mathematical documents in OMDoc format. It is based on Subversion and Berkeley DB XML.