logicaffeine-proof
v0.10.1 ExperimentalBackward-chaining proof engine (certified SAT/CDCL, tactics, Socratic hints) plus the number-theory / cryptanalysis substrate (factoring, isogeny, lattice, order-finding)
Quick Verdict
- ✓Actively maintained (updated 2d ago)
- !Pre-1.0: API may have breaking changes
- ✓Trusted by 120 crates
Security
Deep Insights
192 downloads in the last 30 days (6/day), up 249% from the previous period.
120 crates depend on logicaffeine-proof. Reasonable ecosystem adoption, though not yet a core dependency.
Notable dependents include logicaffeine-language, logicaffeine-compile, logicaffeine-cli, logicaffeine-lsp. When high-quality crates choose logicaffeine-proof, it's a strong quality signal.
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 logicaffeine-proof