Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
https://github.com/trivial-rs/mmb-binutils
Utility tools for Metamath Zero binary proof files
https://github.com/trivial-rs/mmb-binutils
Last synced: about 1 month ago
JSON representation
Utility tools for Metamath Zero binary proof files
- Host: GitHub
- URL: https://github.com/trivial-rs/mmb-binutils
- Owner: trivial-rs
- License: other
- Created: 2021-03-08T12:39:31.000Z (over 3 years ago)
- Default Branch: main
- Last Pushed: 2021-04-04T18:34:24.000Z (about 3 years ago)
- Last Synced: 2024-02-11T13:12:44.141Z (5 months ago)
- Language: Rust
- Size: 10.7 KB
- Stars: 0
- Watchers: 2
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
- License: LICENSE-APACHE
Lists
- awesome-rust-formalized-reasoning - mmb-binutils - utility tools for Metamath Zero binary proof files. (Projects / Libraries)
README
# mmb-binutils
Utility tools for Metamath Zero binary proof files.
- [mmb-objdump](objdump): display information on Metamath Zero binary proof files