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