package

tree-sitter-lean

Description

Tree-sitter grammar for lean.

Metadata

Version

0-unstable-2024-12-25

License

Status

Source

pkgs/development/tools/parsing/tree-sitter/build-grammar.nix:123

Homepage

https://github.com/Julian/tree-sitter-lean

Maintainers (1)

Andrea Ciceri