rustio rustio.net

Decision Workspace

elicitation_creusot

Side-by-side comparison of Rust crates

53
elicitation_creusot
experimentalv0.9.1

Creusot formal verification proofs for elicitation contract types

Core Metrics

elicitation_creusot
Health Score53
Total Downloads57
30d Downloads46
Dependents0
Releases4
Last Updated17d ago
Age1m

Health Breakdown

elicitation_creusot
Maintenance
16
Quality
16
Community
6
Popularity
2
Documentation
13

Technical Details

elicitation_creusot
Version0.9.1
Stable (≥1.0)✗ No
LicenseApache-2.0 OR MIT
Dependencies9
Crate Size45KB
Features11
Yanked %0.0%
Edition2024
MSRV—
Owners1

Links

elicitation_creusot detail →GitHub ↗Docs ↗crates.io ↗

Quick Verdict

  • •elicitation_creusot leads with a health score of 53/100, but none of the options score above 80.