Experimental start on a Lean 4 grammar for tree-sitter.
Can be used standalone, or in neovim with nvim-treesitter via lean.nvim.
Tests for the grammar live in test/corpus/*.txt, and can be run as usual for tree-sitter grammars with the tree-sitter-cli via:
$ tree-sitter generate && tree-sitter test