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
You Might Also Like
ConnectWise PSA (formerly Manage) allows you to stop working in separate systems, and helps you build a more profitable business. No more duplicate data entries, inefficient employees, manual invoices, and the inability to accurately track client service issues. Get a behind the scenes look into the award-winning PSA that automates processes for each area of business: sales, help desk, support, finance, and HR.
Rate This Project
Login To Rate This Project
User Reviews
Be the first to post a review of MizarMML-DB!