MizarMML-DB

prealpha

Add a Review
1 Download (This Week)
Last Update:
Download MakeInsertMML.zip
Browse All Files
Windows

Description

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

MizarMML-DB Web Site

Update Notifications





Write a Review

User Reviews

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

Additional Project Details

Intended Audience

End Users/Desktop

User Interface

Win32 (MS Windows)

Programming Language

C#

Registered

2009-09-10
Screenshots can attract more users to your project.
Features can attract more users to your project.

Icons must be PNG, GIF, or JPEG and less than 1 MiB in size. They will be displayed as 48x48 images.