pocket_prover
v0.18.0 GrowingA fast, brute force, automatic theorem prover for first order logic
Quick Verdict
- ✕Not updated for 1+ year
- !Pre-1.0: API may have breaking changes
- ✓Tiny footprint (25KB, 2 deps)
- ✓Permissive license (MIT)
Security
Deep Insights
68 downloads in the last 30 days (2/day), up 17% from the previous period.
The primary maintainer publishes 157 crates. This suggests deep Rust expertise and long-term commitment to the ecosystem.
Despite being 8+ years old, pocket_prover hasn't reached 1.0 yet. Expect potential API changes between versions.
Only 2 direct dependencies. Lean dependency tree means faster builds and lower supply chain risk.
At 24KB, pocket_prover is lightweight. Small crate size correlates with focused, well-scoped functionality.
Health Breakdown
Recency, release consistency, active ratio
Yanked ratio, deps, size, maturity, features
Reverse deps, ownership, ecosystem
Downloads, momentum, growth trend
Docs, repo, license, metadata
Download Trend
Top Dependents
Most downloaded crates that depend on pocket_prover
