Tree-sitter-languages-lean

Latest version: v1.8.0

Vulnerabilities

No known vulnerabilities found