mmb-types
| Crates.io | mmb-types |
| lib.rs | mmb-types |
| version | 0.3.1 |
| created_at | 2021-03-04 08:02:10.651708+00 |
| updated_at | 2021-03-04 10:44:36.780074+00 |
| description | Definitions of opcodes present in the Metamath Zero binary format |
| homepage | |
| repository | https://github.com/trivial-rs/mmb-types |
| max_upload_size | |
| id | 363616 |
| size | 20,047 |
Ivo Wingelaar (IvoWingelaar)
documentation
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) or the Apache License, Version 2.0 (see LICENSE-APACHE).