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