Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
crates.io "metamath-zero" keyword
trivial-compiler 0.3.0
The Trivial compiler framework for Metamath Zero binary proofs3 versions - Latest release: about 3 years ago - 1 dependent package - 1.62 thousand downloads total - 1 maintainer
mmb-parser 0.7.0
A parser for the Metamath Zero binary proof format8 versions - Latest release: about 3 years ago - 1 dependent package - 3.23 thousand downloads total - 0 stars on GitHub - 1 maintainer
trivial-kernel 0.9.0
A Metamath Zero kernel for Trivial10 versions - Latest release: about 3 years ago - 1 dependent package - 3.9 thousand downloads total - 2 stars on GitHub - 1 maintainer
mmb-types 0.3.1
Definitions of opcodes present in the Metamath Zero binary format6 versions - Latest release: about 3 years ago - 3 dependent packages - 3.59 thousand downloads total - 0 stars on GitHub - 1 maintainer
trivial-verifier 0.8.0
The Trivial proof verifier - an interface to the Metamath Zero kernel8 versions - Latest release: about 3 years ago - 2.69 thousand downloads total - 1 maintainer
Related Keywords