tree-sitter-lean – Experimental tree-sitter parser for the Lean (4) Theorem Prover
Experimental begin on a Lean 4 grammar for tree-sitter. Can be used standalone, or in neovim with nvim-treesitter by way of lean.nvim.
https://github.com/Julian/tree-sitter-lean
Dependencies:
nan : ^2.14.2
| Tags |
syntax-highlighting tree-sitter lean context-free-grammar lean4 |
| Implementation |
C |
| License |
MIT |
| Platform |