tree-sitter-fpl (npm): Formal Proving Language
Keywords: mathematics|fpl|formal|language