tree-sitter-lean4 0.0.3

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: 126.23 MB This is the summed size of all the files inside the crates.io package for this release.
Documentation size: 293.86 kB This is the summed size of all files generated by rustdoc for all configured targets
Ø build duration
this release: 58s Average build duration of successful builds.
all releases: 43s Average build duration of successful builds in releases after 2024-10-23.
Links
wvhulle/tree-sitter-lean
2 0 0
crates.io
Dependencies
- tree-sitter ^0.25 normal
- cc ^1.0 build
Versions
Owners

Tree-Sitter-Lean4

Language bindings for Rust programs to parse Lean 4 source code. Lean4 is a programming language, commonly used for mathematical theorem proving as a proof assistant.

Installation

Add this crate as a normal dependency in your Cargo.toml file.

The parser is automatically generated by the build script in build.rs if it is missing. This requires tree-sitter and a C compiler installed.

Usage

See Tree-Sitter-Rust.

Important: Lean is a very extensible language. Therefore, the Tree-Sitter grammar is of limited use. For parsing advanced Lean programs you will need to use the Lean kernel. See also Metaprogramming in Lean.

Development

Based on https://github.com/Julian/lean.nvim.

License

MIT