LICENSE
README.md
pyproject.toml
src/__init__.py
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/setmm.py
src/metamathpy/solitaire.py
src/metamathpy/theory.py
src/metamathpy/training_data.py
src/metamathpy/unification.py
src/mmmine/__init__.py
src/mmmine/bidao.py
src/mmmine/dependencies.py
src/mmmine/eliminate_defs.py
src/mmmine/expansion.py
src/mmmine/ida.py
src/mmmine/loglogess.py
src/mmmine/prelim_checks.py
src/mmmine/raw.py
src/mmmine/raw_heuristic.py
src/mmmine/scratch.py
src/mmmine/threshfun.py
src/mmmine/used.py
src/mmmine/wff_repeats.py
src/ui/scratch.py
tests/tests.py