tree-sitter-lean4 0.0.2

Tree-sitter grammar for Lean 4 (generates parser at build time)
Documentation 
1
2
3
4
5
6
7
8
9

# tree-sitter-lean4

Tree-sitter grammar for Lean 4.

Based on <https://github.com/Julian/lean.nvim> with minor extensions and a fix for the `scanner.c` file not being properly created.

## License

MIT