.lake/
lake-manifest.json.lock
*.olean
build/
# Aristotle / prover-run artefacts
*-aristotle.tar.gz
aristotle_out/
*_out/
*_out.tar.gz
project_aristotle/

# Built distribution artifacts (sdist + wheel)
python/dist/
python/build/
python/*.egg-info/

.claude/
