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.
Follow mathematics development language
Rate This ProjectLogin To Rate This Project
Be the first to post a review of mathematics development language!