search

OpenMath / OMSTD

The OpenMath Standard (starting with OpenMath 2)
9 stars 5 forks source link

Definition markup #67

Closed kohlhase closed 5 years ago

kohlhase commented 6 years ago

this was left over as a branch, @davidcarlisle could you have a look at this?