GitHub repository: Julian/tree-sitter-lean
Primary language: C
Created: 2021-02-28T14:51:18Z
Description: Experimental tree-sitter parser for the Lean (4) Theorem Prover