rustio rustio.net

Decision Workspace

lean-rs-host

Side-by-side comparison of Rust crates

55
lean-rs-host
experimentalv0.1.10

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 Score55
Total Downloads182
30d Downloads0
Dependents9
Releases10
Last Updatedtoday
Age7d

Health Breakdown

lean-rs-host
Maintenance
17
Quality
12
Community
8
Popularity
3
Documentation
15

Technical Details

lean-rs-host
Version0.1.10
Stable (≥1.0)✗ No
LicenseMIT OR Apache-2.0
Dependencies7
Crate Size134KB
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 55/100, but none of the options score above 80.