LICENSE.txt
README.md
pyproject.toml
src/formalmath/__init__.py
src/formalmath.egg-info/PKG-INFO
src/formalmath.egg-info/SOURCES.txt
src/formalmath.egg-info/dependency_links.txt
src/formalmath.egg-info/top_level.txt
src/formalmath/metamath/__init__.py
src/formalmath/metamath/core.py