rustio rustio.net

Decision Workspace

pocket_prover-set

Side-by-side comparison of Rust crates

38
pocket_prover-set
growingv0.5.0

A base logical system for PocketProver to reason about set properties

Core Metrics

pocket_prover-set
Health Score38
Total Downloads8.6K
30d Downloads9
Dependents0
Releases6
Last Updated1267d ago
Age8y 1m

Health Breakdown

pocket_prover-set
Maintenance
4
Quality
15
Community
3
Popularity
5
Documentation
11

Technical Details

pocket_prover-set
Version0.5.0
Stable (≥1.0)✗ No
LicenseMIT
Dependencies2
Crate Size5KB
Features0
Yanked %0.0%
Edition—
MSRV—
Owners1

Links

pocket_prover-set detail →GitHub ↗Docs ↗crates.io ↗

Quick Verdict

  • •pocket_prover-set leads with a health score of 38/100, but none of the options score above 80.
  • •⚠ pocket_prover-set has not been updated in over a year.