Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
crates.io "trivial" 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
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
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