rustio rustio.net

Decision Workspace

lean-rs-host

Side-by-side comparison of Rust crates

50
lean-rs-host
experimentalv0.3.0

Opinionated Rust host stack for embedding Lean 4 as a theorem-prover capability: typed sessions, kernel-check evidence handles, bounded MetaM services, progress, batching, and session pooling.

Core Metrics

lean-rs-host
Health Score50
Total Downloads668
30d Downloads0
Dependents25
Releases26
Last Updated24d ago
Age1m

Health Breakdown

lean-rs-host
Maintenance
12
Quality
11
Community
9
Popularity
3
Documentation
15

Technical Details

lean-rs-host
Version0.3.0
Stable (≥1.0)✗ No
LicenseMIT OR Apache-2.0
Dependencies8
Crate Size197KB
Features0
Yanked %0.0%
Edition2024
MSRV1.91
Owners1

Links

lean-rs-host detail →GitHub ↗Docs ↗crates.io ↗

Quick Verdict

  • •lean-rs-host leads with a health score of 50/100, but none of the options score above 80.