This project will develop some software to easily use MizarMML-DB, which is a free simple database for Mizar articles registered in the Mizar Mathematical Library (MML) (refer to: http://mizar.org/).
Categories
Front-EndsLicense
Other LicenseFollow MizarMML-DB
Other Useful Business Software
Rate This Project
Login To Rate This Project
User Reviews
Be the first to post a review of MizarMML-DB!