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