package openmath
- Alphabetic
- Public
- All
Type Members
-
class
Exporter extends BuildTarget with api.archives.Exporter
An exporter that creates an OpenMath CD for every theory
Value Members
- object OpenMath
-
object
OpenMathPresenter extends ObjectPresenter
translates MMT objects into OpenMath objects in XML encoding This is straightforward except for a few case where MMT objects go beyond OpenMath.