LICENSE
README.md
pyproject.toml
src/metamath_py.egg-info/PKG-INFO
src/metamath_py.egg-info/SOURCES.txt
src/metamath_py.egg-info/dependency_links.txt
src/metamath_py.egg-info/top_level.txt
src/metamathpy/__init__.py
src/metamathpy/database.py
src/metamathpy/environment.py
src/metamathpy/obvious.py
src/metamathpy/parse.py
src/metamathpy/proof.py
src/metamathpy/scratch.py
src/metamathpy/theory.py
src/metamathpy/training_data.py
src/metamathpy/unification.py
tests/tests.py