__pycache__/
*.py[cod]
*.egg-info/
.eggs/
.venv/
venv/
dist/
build/
.pytest_cache/
.mypy_cache/
*.proof
.proofkit/
.DS_Store
PLAN.md
