tree-sitter-lean4-0.0.2
- tree-sitter-lean4 0.0.2
- Docs.rs crate page
- MIT
- Links
- Repository
- crates.io
- Source
- Owners
- wvhulle
- Dependencies
- tree-sitter ^0.25 normal
  cc ^1.0 build
- Versions
- 100% of the crate is documented
Platform
- x86_64-unknown-linux-gnu
Feature flags

docs.rs

Rust

Skip to main content

Crate tree_sitter_lean4

tree_sitter_lean40.0.2

All Items

Crate Items

Functions

Crate tree_sitter_lean4

Expand description

Tree-sitter grammar for Lean 4.

Functions§

language: Get the tree-sitter Language for this grammar.