search

OpenMath / OMSTD

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

Language Extension Dictionaries #14

Open kohlhase opened 6 years ago

kohlhase commented 6 years ago

See https://github.com/OpenMath/OM3/issues/153