Decision Workspace
leo3 vs leo3-ffi vs oak-lean
Side-by-side comparison of Rust crates
49
leo3
experimentalv0.2.1
Rust bindings for the Lean4 theorem prover
54
leo3-ffi
experimentalv0.2.1
Raw FFI bindings to the Lean4 C API
59
oak-lean
experimentalv0.0.10
Lean theorem prover language parser with support for dependent types and formal verification.
Core Metrics
| leo3 | leo3-ffi | oak-lean | |
|---|---|---|---|
| Health Score | 49 | 54 | 59 |
| Total Downloads | 212 | 304 | 319 |
| 30d Downloads | 10 | 27 | 78 |
| Dependents | 0 | 8 | 0 |
| Releases | 8 | 9 | 11 |
| Last Updated | 42d ago | 42d ago | 4d ago |
| Age | 3m | 3m | 5m |
Health Breakdown
leo3
Maintenance
16
Quality
13
Community
5
Popularity
3
Documentation
12
leo3-ffi
Maintenance
16
Quality
14
Community
9
Popularity
3
Documentation
12
oak-lean
Maintenance
19
Quality
14
Community
10
Popularity
3
Documentation
13
Technical Details
| leo3 | leo3-ffi | oak-lean | |
|---|---|---|---|
| Version | 0.2.1 | 0.2.1 | 0.0.10 |
| Stable (≥1.0) | ✗ No | ✗ No | ✗ No |
| License | MIT OR Apache-2.0 | MIT OR Apache-2.0 | MPL-2.0 |
| Dependencies | 11 | 3 | 11 |
| Crate Size | 222KB | 45KB | 25KB |
| Features | 4 | 0 | 4 |
| Yanked % | 0.0% | 0.0% | 0.0% |
| Edition | 2021 | 2021 | 2024 |
| MSRV | 1.88 | 1.88 | — |
| Owners | 1 | 1 | 2 (team) |
Links
Quick Verdict
- •oak-lean leads with a health score of 59/100, but none of the options score above 80.