search

OpenMath / py-openmath

An OpenMath 2.0 implementation in Python
MIT License
15 stars 4 forks source link

Support binary OpenMath Encoding #3

Open kohlhase opened 8 years ago

kohlhase commented 8 years ago

The binary encoding is like the XML encoding for OpenMath but is much much more space efficient.