README.md
pyproject.toml
src/metamath_prelude.egg-info/PKG-INFO
src/metamath_prelude.egg-info/SOURCES.txt
src/metamath_prelude.egg-info/dependency_links.txt
src/metamath_prelude.egg-info/requires.txt
src/metamath_prelude.egg-info/top_level.txt
src/prelude/__init__.py
src/prelude/build.py
src/prelude/formula.py
src/prelude/hilbert_rules.py
src/prelude/structures.py
tests/test_smoke.py