mm2sqlite
Converts Metamath 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
1 maintainer
Metadata
1 maintainer
Release files for metamath2sqlite 1.0.4
For a detailed explanation of source distributions (sdists) and built distributions (wheels), please see the package formats documentation.
Source distribution (sdist)
| File | Size | Uploaded | |
|---|---|---|---|
| metamath2sqlite-1.0.4.tar.gz | 4.2 kB | Details |
Built distribution (wheel)
| File | Interpreter | ABI | Platform | Reset |
|---|---|---|---|---|
| metamath2sqlite-1.0.4-py3-none-any.whl | Python 3 | none | any | Details |
Total release size: 9.9 kB
Release files / metamath2sqlite-1.0.4.tar.gz
| Download URL | metamath2sqlite-1.0.4.tar.gz |
|---|---|
| Size | 4.2 kB |
| Tags | Source |
|
SHA-256 checksum How to use checksums |
c974583df65a4ebb98df38ba6121c99fb8a815f0d39998a3c0a5fabae60dc2b9
|
|
BLAKE2b-256 checksum How to use checksums |
79319afe64c48c9986fb808381e72f3228c112cdf3b6bbcd9dc8b8822387bce5
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
uv/0.12.6 {"installer":{"name":"uv","version":"0.12.6","subcommand":["publish"]},"python":null,"implementation":{"name":null,"version":null},"distro":{"name":"Arch Linux","version":null,"id":null,"libc":null},"system":{"name":null,"release":null},"cpu":null,"openssl_version":null,"setuptools_version":null,"rustc_version":null,"ci":null}
|
Release files / metamath2sqlite-1.0.4-py3-none-any.whl
| Download URL | metamath2sqlite-1.0.4-py3-none-any.whl |
|---|---|
| Size | 5.8 kB |
| Tags | Python 3 |
|
SHA-256 checksum How to use checksums |
4f40768f1c0c0ba36f540aadc1813762fb51791b4ab5cc7a2d38288770688867
|
|
BLAKE2b-256 checksum How to use checksums |
a2c0cc3f374b706d1df87f66b9940f489965844788ae590d766521a9795f8f47
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
uv/0.12.6 {"installer":{"name":"uv","version":"0.12.6","subcommand":["publish"]},"python":null,"implementation":{"name":null,"version":null},"distro":{"name":"Arch Linux","version":null,"id":null,"libc":null},"system":{"name":null,"release":null},"cpu":null,"openssl_version":null,"setuptools_version":null,"rustc_version":null,"ci":null}
|
