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