PyPI page
Home page
Author:
None
Summary:
A layered, sanity-checked scaffold for building modular Metamath artifacts.
Latest version:
0.0.6
Optional dependencies:
mypy
|
pytest
|
pytest-cov
|
ruff
|
types-setuptools
Downloads last day:
20
Downloads last week:
49
Downloads last month:
149