GitHub repository: shnarazk/tree-sitter-lean
Primary language: JavaScript
Description: Experimental tree-sitter parser for the Lean (4) Theorem Prover