rustio rustio.net

Decision Workspace

oxilean

Side-by-side comparison of Rust crates

52
oxilean
experimentalv0.1.2

OxiLean - A Pure Rust theorem prover and dependent type checker inspired by Lean 4

Core Metrics

oxilean
Health Score52
Total Downloads45
30d Downloads0
Dependents0
Releases3
Last Updated23d ago
Age2m

Health Breakdown

oxilean
Maintenance
13
Quality
16
Community
6
Popularity
2
Documentation
15

Technical Details

oxilean
Version0.1.2
Stable (≥1.0)✗ No
LicenseApache-2.0
Dependencies10
Crate Size14KB
Features12
Yanked %0.0%
Edition2021
MSRV1.70
Owners1

Links

oxilean detail →GitHub ↗Docs ↗crates.io ↗

Quick Verdict

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