Site: https://perritotuerto.gitlab.io/codigo/metamath-networks-and-grammars
Metamath grammar for tree-sitter