Julian/tree-sitter-lean
View on GitHubExperimental tree-sitter parser for the Lean (4) Theorem Prover
- Stars
- 58
- Forks
- 25
- Open beginner issues
- 0
- Indexed issues
- 7
- Avg merge
- 48m
- Merged PRs (30d)
- 1
- Dominant language
- JavaScript
- License
- MIT
- Last GitHub push
- Sep 6, 2026
- Latest indexed
- Sep 18, 2026
- Contributing guide
- No contributing guide
- Code of conduct
- No code of conduct
- Beginner labels
- No beginner labels indexed
-
Julian/tree-sitter-lean#1 · 0 comments · 0 reactions · 0 assignees ·
-
Julian/tree-sitter-lean#2 · 5 comments · 0 reactions · 0 assignees ·
-
Julian/tree-sitter-lean#3 · 0 comments · 0 reactions · 0 assignees ·
-
Julian/tree-sitter-lean#8 · 4 comments · 0 reactions · 0 assignees ·
-
Julian/tree-sitter-lean#16 · 0 comments · 0 reactions · 0 assignees ·
-
Julian/tree-sitter-lean#18 · 0 comments · 0 reactions · 0 assignees ·
-
Upstream workflows Open
Julian/tree-sitter-lean#27 · 5 comments · 0 reactions · 0 assignees ·