Skip to content

Support binary OpenMath Encoding #3

@kohlhase

Description

@kohlhase

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

Metadata

Metadata

Assignees

Labels

No labels
No labels

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions