/.lake
/float-bounds/.lake
/python/.venv
.hypothesis/
.pytest_cache/
__pycache__/
/python/src/sverify/_bin/
/python/build/
/python/dist/
/python/wheelhouse/
__marimo__/
# Great Docs build output (`poe docs`)
/python/great-docs/
/python/.great-docs*/
