rustio rustio.net

Decision Workspace

type-proof

Side-by-side comparison of Rust crates

38
type-proof
experimentalv0.1.0

A crate for type-checked propositional logic proofs

Core Metrics

type-proof
Health Score38
Total Downloads190
30d Downloads3
Dependents0
Releases1
Last Updated160d ago
Age5m

Health Breakdown

type-proof
Maintenance
6
Quality
14
Community
5
Popularity
3
Documentation
10

Technical Details

type-proof
Version0.1.0
Stable (≥1.0)✗ No
LicenseMIT
Dependencies1
Crate Size9KB
Features0
Yanked %0.0%
Edition2024
MSRV—
Owners1

Links

type-proof detail →GitHub ↗crates.io ↗

Quick Verdict

  • •type-proof leads with a health score of 38/100, but none of the options score above 80.