Skip to content

Support binary OpenMath Encoding #3

Open
Open
Support binary OpenMath Encoding#3
Assignees
defeo

Description

@kohlhase
kohlhase
opened on Jul 1, 2016

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

Activity

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

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