rustio rustio.net

Decision Workspace

oak-lean

Side-by-side comparison of Rust crates

59
oak-lean
experimentalv0.0.10

Lean theorem prover language parser with support for dependent types and formal verification.

Core Metrics

oak-lean
Health Score59
Total Downloads319
30d Downloads78
Dependents0
Releases11
Last Updated4d ago
Age5m

Health Breakdown

oak-lean
Maintenance
19
Quality
14
Community
10
Popularity
3
Documentation
13

Technical Details

oak-lean
Version0.0.10
Stable (≥1.0)✗ No
LicenseMPL-2.0
Dependencies11
Crate Size25KB
Features4
Yanked %0.0%
Edition2024
MSRV—
Owners2 (team)

Links

oak-lean detail →GitHub ↗Docs ↗crates.io ↗

Quick Verdict

  • •oak-lean leads with a health score of 59/100, but none of the options score above 80.