dist/
build/
*.egg-info/
__pycache__/
.pytest_cache/

# Lake build output
.lake/

# Declaration dumps. A Mathlib dump is ~665 MB and Lean core alone is ~100 MB;
# these are regenerated by the extractor, never committed.
*.tsv
!tools/*.tsv
