Metadata-Version: 2.4
Name: metamath2sqlite
Version: 1.0.4
Summary: Convert Metamath databases to SQLite
Keywords: metamath,sqlite,converter,database
Author: ram
Author-email: ram <hi@colima.press>
License-Expression: MIT
License-File: LICENSE.md
Classifier: Development Status :: 3 - Alpha
Classifier: Environment :: Console
Classifier: Intended Audience :: Developers
Classifier: Intended Audience :: Science/Research
Classifier: Programming Language :: Python :: 3
Classifier: Programming Language :: Python :: 3.12
Classifier: Topic :: Database
Classifier: Topic :: File Formats
Classifier: Topic :: Scientific/Engineering
Classifier: Topic :: Scientific/Engineering :: Mathematics
Classifier: Topic :: Utilities
Requires-Dist: pypdl>=1.5.7
Requires-Dist: tree-sitter>=0.25.2
Requires-Dist: tree-sitter-metamath>=0.1.0
Maintainer: ram
Maintainer-email: ram <hi@colima.press>
Requires-Python: >=3.12
Project-URL: Repository, https://gitlab.com/perritotuerto/codigo/metamath/metamath2sqlite
Project-URL: Changelog, https://gitlab.com/perritotuerto/codigo/metamath/metamath2sqlite/-/blob/main/CHANGELOG.md
Project-URL: Releases, https://gitlab.com/perritotuerto/codigo/metamath/metamath2sqlite/-/releases
Description-Content-Type: text/markdown

# mm2sqlite

Converts [Metamath](https://us.metamath.org/mm.html)
databases to SQLite.

**NOTE**. It only converts statements.

## Usage

Install CLI:

```
uv tool install metamath2sqlite
```

Convert wit CLI:

```
mm2sqlite hol  # or nf, iset, set...
```

Print help:

```
mm2sqlite -h
```

Install as a library:

```
uv add metamath2sqlite
```

Import as a module:

```
from mm2sqlite import MM

mm = MM("hol")
mm.convert()
```

Fetch item:

```
import sqlite3

connection = sqlite3.connect("hol.db")
cursor = connection.cursor()
sql_query = "SELECT * FROM statements WHERE label IN(?)"
statement = "ax-syl"
result = cursor.execute(sql_query, (statement,))
item = result.fetchone()
print(item)
```

## Development

Clone:

```
git clone https://gitlab.com/perritotuerto/codigo/metamath/metamath2sqlite.git
```

Format:

```
uv run ruff format .
uv run isort .
```

Check:

```
uv run ruff check .
```

Test:

```
uv run python -m pytest -s --durations 0
```

Tag version:

```
git tag v1.0.0
git push origin tag v1.0.0
```
