rustio rustio.net

Decision Workspace

lean2md

Side-by-side comparison of Rust crates

43
lean2md
experimentalv0.2.1

Tool to convert Lean files to Markdown with special features for documentation

Core Metrics

lean2md
Health Score43
Total Downloads1.6K
30d Downloads7
Dependents0
Releases3
Last Updated302d ago
Age11m

Health Breakdown

lean2md
Maintenance
9
Quality
14
Community
6
Popularity
4
Documentation
10

Technical Details

lean2md
Version0.2.1
Stable (≥1.0)✗ No
LicenseMIT
Dependencies2
Crate Size14KB
Features0
Yanked %0.0%
Edition2021
MSRV—
Owners1

Links

lean2md detail →GitHub ↗crates.io ↗

Quick Verdict

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