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