OpenMath

OpenMath

An extensible standard for representing the semantics of mathematical objects.

Pinned Repositories

OpenMath's Repositories