Decision Workspace
tree-sitter-lean4 vs arborium-lean vs oak-lean
Side-by-side comparison of Rust crates
45
tree-sitter-lean4
experimentalv0.2.2
Tree-sitter grammar for Lean 4 (generates parser at build time)
60
arborium-lean
experimentalv2.16.0
Lean grammar for arborium (tree-sitter bindings)
59
oak-lean
experimentalv0.0.10
Lean theorem prover language parser with support for dependent types and formal verification.
Core Metrics
| tree-sitter-lean4 | arborium-lean | oak-lean | |
|---|---|---|---|
| Health Score | 45 | 60 | 59 |
| Total Downloads | 345 | 3.0K | 319 |
| 30d Downloads | 132 | 829 | 78 |
| Dependents | 9 | 47 | 0 |
| Releases | 13 | 47 | 11 |
| Last Updated | 30d ago | 16d ago | 4d ago |
| Age | 2m | 3m | 5m |
Health Breakdown
tree-sitter-lean4
Maintenance
11
Quality
12
Community
9
Popularity
3
Documentation
10
arborium-lean
Maintenance
18
Quality
12
Community
11
Popularity
4
Documentation
15
oak-lean
Maintenance
19
Quality
14
Community
10
Popularity
3
Documentation
13
Technical Details
| tree-sitter-lean4 | arborium-lean | oak-lean | |
|---|---|---|---|
| Version | 0.2.2 | 2.16.0 | 0.0.10 |
| Stable (≥1.0) | ✗ No | ✓ Yes | ✗ No |
| License | MIT | MIT | MPL-2.0 |
| Dependencies | 2 | 5 | 11 |
| Crate Size | 1.5MB | 6.1MB | 25KB |
| Features | 0 | 0 | 4 |
| Yanked % | 0.0% | 0.0% | 0.0% |
| Edition | 2021 | 2024 | 2024 |
| MSRV | — | 1.85 | — |
| Owners | 1 | 1 | 2 (team) |
Links
Quick Verdict
- •arborium-lean leads with a health score of 60/100, but none of the options score above 80.
- •tree-sitter-lean4, oak-lean are pre-1.0 — API may change.