Experimental Lean 4 grammar for tree-sitter.
Build and run the tests:
make # tree-sitter generate grammar.js
make test # tree-sitter testtmurph/tree-sitter-lean
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
| Name | Name | Last commit date | ||
|---|---|---|---|---|
Experimental Lean 4 grammar for tree-sitter.
Build and run the tests:
make # tree-sitter generate grammar.js
make test # tree-sitter test