Ecosyste.ms: Packages

An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.

crates.io "constructive" keyword

prop 0.47.0

Propositional logic with types in Rust
52 versions - Latest release: 12 months ago - 15.6 thousand downloads total - 58 stars on GitHub - 1 maintainer

Related Keywords

logic 1 proving 1 theorem 1 advancedresearch 1