search

OpenMath / OMSTD

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

Introduce computational FMPs #33

Closed kohlhase closed 7 years ago

kohlhase commented 7 years ago

see https://github.com/OpenMath/OM3/issues/129

kohlhase commented 7 years ago

folded into #38