tree-sitter-lean

https://github.com/julian/tree-sitter-lean

tree-sitter-lean is an experimental Tree-sitter grammar for Lean 4 that enables syntax tree parsing...

Tokens:25,826
Snippets:313
Trust Score:10
License:MIT
Update:2 months ago
Tokens:
Raw