issues
search
OpenMath
/
OMSTD
The OpenMath Standard (starting with OpenMath 2)
9
stars
5
forks
source link
OMV with complex presentations
#31
Open
kohlhase
opened
6 years ago
kohlhase
commented
6 years ago
see
https://github.com/OpenMath/OM3/issues/3
see https://github.com/OpenMath/OM3/issues/3