issues
search
OpenMath
/
OMSTD
The OpenMath Standard (starting with OpenMath 2)
9
stars
5
forks
source link
n-ary OMBIND
#23
Open
kohlhase
opened
7 years ago
kohlhase
commented
7 years ago
see
https://github.com/OpenMath/OM3/issues/136
see https://github.com/OpenMath/OM3/issues/136