search

OpenMath / OMSTD

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

Bit numbers start at what? #18

Closed kohlhase closed 6 years ago

kohlhase commented 6 years ago

https://github.com/OpenMath/OM3/issues/146

kohlhase commented 6 years ago

Ah, just saw, this is addressed in OM2R1, closing here.