tree-sitter-lean4 0.0.2

Tree-sitter grammar for Lean 4 (generates parser at build time)

Coverage
100%
2 out of 2 items documented0 out of 1 items with examples
Size
Source code size: 41.9 MB This is the summed size of all the files inside the crates.io package for this release.
Documentation size: 304.62 kB This is the summed size of all files generated by rustdoc for all configured targets
Links
wvhulle/tree-sitter-lean
0 0 0
crates.io
Dependencies
- tree-sitter ^0.25 normal
- cc ^1.0 build
Versions
- 0.0.2 (2026-01-26)
- 0.0.1 (2026-01-26)
Owners

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.

MIT