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

   


%d bloggers like this: