mdl is a system of formal mathematics, which is split into 2 levels: a high-level language for human-readable representation of math and low-level language for trustworthy verification. Currently, as low-level language mdl uses metamath system.

Project Activity

See All Activity >

Categories

Mathematics

License

GNU General Public License version 2.0 (GPLv2)

Follow mathematics development language

mathematics development language Web Site

nel_h2
Keep company data safe with Chrome Enterprise Icon
Keep company data safe with Chrome Enterprise

Protect your business with AI policies and data loss prevention in the browser

Make AI work your way with Chrome Enterprise. Block unapproved sites and set custom data controls that align with your company's policies.
Download Chrome
Rate This Project
Login To Rate This Project

User Reviews

Be the first to post a review of mathematics development language!

Additional Project Details

Operating Systems

BSD, Linux

Intended Audience

Science/Research

User Interface

Console/Terminal

Programming Language

C++

Related Categories

C++ Mathematics Software

Registered

2008-04-17