mathematics development language

Welcome, Guest! Log In | Create Account

SourceForge.net > Find Software > mathematics development language

alpha

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.

Download Now! mdl-0.7.4-correct.tar.gz (3.3 MB) OR View all files

http://mathdevlanguage.sourceforge.net

Release Date:

2009-08-21

Topic:

Mathematics

Operating System:

All POSIX (Linux/BSD/UNIX-like OSes)

License:

GNU General Public License (GPL)

Intended Audience:

Science/Research

User Interface:

Console/Terminal

Programming Language:

C++

Registered:

2008-04-17

Be the first to post a text review of mathematics development language. Rate and review a project by clicking thumbs up or thumbs down in the right column.

Project Feed

File released: /mdl-0.7.4-correct.tar.gz

posted 139 days ago
mathdevlanguage mdl-0.7.4 file released: mdl-0.7.4.tar.gz

posted 553 days ago
File released: /mathdevlanguage/mdl-0.7.4/mdl-0.7.4.tar.gz

posted 553 days ago
mathdevlanguage mdl-0.7.3 file released: mdl-0.7.3.tar.gz

posted 561 days ago
File released: /mathdevlanguage/mdl-0.7.3/mdl-0.7.3.tar.gz

posted 562 days ago
mathdevlanguage mdl-0.6.9 file released: mdl-0.6.9.tar.gz

posted 580 days ago
File released: /mathdevlanguage/mdl-0.6.9/mdl-0.6.9.tar.gz

posted 580 days ago
mathdevlanguage mdl-0.6.0 file released: mdl-0.6.0.tar.gz

initial version.

posted 622 days ago
File released: /mathdevlanguage/mdl-0.6.0/mdl-0.6.0.tar.gz

posted 622 days ago

Rate and Review

Be the first person to add a text review.