Skip to content

Experimental tree-sitter parser for the Lean (4) Theorem Prover

License

Notifications You must be signed in to change notification settings

Julian/tree-sitter-lean

Repository files navigation

tree-sitter-lean

Experimental start on a Lean 4 grammar for tree-sitter.

Build status

Can be used standalone, or in neovim with nvim-treesitter via lean.nvim.

Testing

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

About

Experimental tree-sitter parser for the Lean (4) Theorem Prover

Topics

Resources

License

Stars

Watchers

Forks

Languages