Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

https://github.com/trivial-rs/mmb-types

Definitions of opcodes present in the Metamath Zero binary format
https://github.com/trivial-rs/mmb-types

Last synced: 3 months ago
JSON representation

Definitions of opcodes present in the Metamath Zero binary format

Awesome Lists containing this project

README

        

# mmb-types

A library containing the definitions of the opcodes in the Metamath Zero binary proof files.

## License

This library is distributed under the terms of either the MIT license (see [LICENSE-MIT](LICENSE-MIT)) or the Apache License, Version 2.0 (see [LICENSE-APACHE](LICENSE-APACHE)).