A library containing the definitions of the opcodes in the Metamath Zero binary proof files.
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).
-
Notifications
You must be signed in to change notification settings - Fork 0
Definitions of opcodes present in the Metamath Zero binary format
License
Unknown, MIT licenses found
Licenses found
Unknown
LICENSE-APACHE
MIT
LICENSE-MIT
trivial-rs/mmb-types
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
Definitions of opcodes present in the Metamath Zero binary format
Resources
License
Unknown, MIT licenses found
Licenses found
Unknown
LICENSE-APACHE
MIT
LICENSE-MIT
Stars
Watchers
Forks
Packages 0
No packages published