mathematics development language download

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 >

License

GNU General Public License version 2.0 (GPLv2)

Follow mathematics development language

mathematics development language Web Site

Other Useful Business Software

Get the most trusted enterprise browser

Advanced built-in security helps IT prevent breaches before they happen

Defend against security incidents with Chrome Enterprise. Create customizable controls, manage extensions and set proactive alerts to keep your data and employees protected without slowing down productivity.

Download Chrome

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

Similar Business Software

Scilab

Numerical analysis or Scientific computing is the study of approximation techniques for numerically solving mathematical problems. Scilab provides graphics functions to visualize, annotate and export data and offers many ways to create and customize various types of plots and charts. Scilab is a...

See Software
OpenModelica

OpenModelica is an open source modeling and simulation environment based on the Modelica language, intended for industrial and academic use. Its development is supported by the Open Source Modelica Consortium (OSMC), a non-profit organization. The platform aims to provide a comprehensive...

See Software
Zuken GENESYS

GENESYS is Zuken's model-based systems engineering platform designed to manage and communicate product information effectively, enabling teams to focus on innovation. It supports the entire engineering process from initial concept to verification and validation within a single environment,...

See Software
ActCAD Software

ActCAD is a native dwg/dxf cad software suitable for professional 2D drafting and 3D modeling projects. ActCAD is trusted by over 30000 users in over 103 countries for more than 10 years. The interface, commands, icons, dialogs, shortcuts etc. are very much similar to other popular cad software...

See Software
NVIDIA Iray

NVIDIA® Iray® is an intuitive physically based rendering technology that generates photorealistic imagery for interactive and batch rendering workflows. Leveraging AI denoising, CUDA®, NVIDIA OptiX™, and Material Definition Language (MDL), Iray delivers world-class performance and impeccable...

See Software
Evocon

Trusted by manufacturers worldwide, Evocon is a simple and easy-to-use OEE software that helps manufacturing companies improve their production efficiency and reduce waste. The system enables automated data collection, real-time data visualization, downtime tracking, bottleneck identification,...

See Software