rustio rustio.net

Decision Workspace

leo3-macros

Side-by-side comparison of Rust crates

52
leo3-macros
experimentalv0.2.1

Procedural macros for Leo3 (Rust-Lean4 bindings)

Core Metrics

leo3-macros
Health Score52
Total Downloads303
30d Downloads27
Dependents8
Releases9
Last Updated42d ago
Age3m

Health Breakdown

leo3-macros
Maintenance
16
Quality
13
Community
8
Popularity
3
Documentation
12

Technical Details

leo3-macros
Version0.2.1
Stable (≥1.0)✗ No
LicenseMIT OR Apache-2.0
Dependencies4
Crate Size4KB
Features0
Yanked %0.0%
Edition2021
MSRV1.88
Owners1

Links

leo3-macros detail →GitHub ↗crates.io ↗

Quick Verdict

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