tree-sitter-lean4 0.0.1

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

Size
Source code size: 60.54 kB This is the summed size of all the files inside the crates.io package for this release.
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

docs.rs failed to build tree-sitter-lean4-0.0.1
Please check the build logs for more information.
See Builds for ideas on how to fix a failed build, or Metadata for how to configure docs.rs builds.
If you believe this is docs.rs' fault, open an issue.

Visit the last successful build: tree-sitter-lean4-0.0.2

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.

License

MIT