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
Orchestrate Your AI Agents with Zenflow Icon
Orchestrate Your AI Agents with Zenflow

The multi-agent workflow engine for modern teams. Zenflow executes coding, testing, and verification with deep repo awareness

Zenflow orchestrates AI agents like a real engineering system. With parallel execution, spec-driven workflows, and deep multi-repo understanding, agents plan, implement, test, and verify end-to-end. Upgrade to AI workflows that work the way your team does.
Try free now
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