Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
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
- Host: GitHub
- URL: https://github.com/trivial-rs/mmb-types
- Owner: trivial-rs
- License: other
- Created: 2021-03-04T09:19:18.000Z (over 3 years ago)
- Default Branch: main
- Last Pushed: 2021-03-04T10:44:58.000Z (over 3 years ago)
- Last Synced: 2024-05-22T21:34:14.178Z (6 months ago)
- Language: Rust
- Size: 14.6 KB
- Stars: 0
- Watchers: 2
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
- License: LICENSE-APACHE
Awesome Lists containing this project
- awesome-rust-formalized-reasoning - mmb-types - types):zzz: - library containing the definitions of the opcodes in the Metamath Zero binary proof files. (Projects / Libraries)
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)).