Metadata-Version: 2.4
Name: tree-sitter-metamath
Version: 0.1.1
Summary: A simple and flexible computer-processable language that supports rigorously verifying, archiving, and presenting mathematical proofs.
Author-email: Ramiro Santa Ana Anguiano <hi@colima.press>
License-Expression: MIT
Project-URL: Repository, https://gitlab.com/perritotuerto/codigo/metamath/tree-sitter-metamath
Keywords: incremental,parsing,tree-sitter,metamath
Classifier: Intended Audience :: Developers
Classifier: Topic :: Software Development :: Compilers
Classifier: Topic :: Text Processing :: Linguistic
Classifier: Typing :: Typed
Requires-Python: >=3.10
Description-Content-Type: text/markdown
License-File: LICENSE
Provides-Extra: core
Requires-Dist: tree-sitter~=0.24; extra == "core"
Dynamic: license-file

# Metamath tree-sitter grammar

## Use in python

Add this repo as dependency, for example:

```
uv add tree-sitter-metamath
```

Create a parser:

```
import tree_sitter_metamath as tsmetamath
from tree_sitter import Language

MM_LANGUAGE = Language(tsmetamath.language())

parser = Parser(MM_LANGUAGE)
```

Read a metamath database:

```
from pathlib import Path

tree = parser.parse(Path("path/to/database.mm").read_bytes())
```

Happy hacking!
