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/).

Project Activity

See All Activity >

Categories

Front-Ends

License

Other License

Follow MizarMML-DB

MizarMML-DB Web Site

Other Useful Business Software
Manage your entire team in one app Icon
Manage your entire team in one app

With Connecteam you can manage every aspect of your business on the go, no workstation needed.

Connecteam is an award-winning all-in-one employee management solution for daily operations, communications, and human resource management.
Rate This Project
Login To Rate This Project

User Reviews

Be the first to post a review of MizarMML-DB!

Additional Project Details

Operating Systems

Windows

Intended Audience

End Users/Desktop

User Interface

Win32 (MS Windows)

Programming Language

C#

Database Environment

ADO.NET

Related Categories

C# Front-Ends

Registered

2009-09-11