Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
crates.io "rational-deduction" keyword
qbar 0.0.0
the rational proof assistant1 version - Latest release: over 3 years ago - 469 downloads total - 1 stars on GitHub - 1 maintainer
rational_deduction 0.0.5
Rust implementation of the rational deduction algorithm.6 versions - Latest release: about 3 years ago - 2.25 thousand downloads total - 0 stars on GitHub - 1 maintainer