# Source books and anything derived from their full text: copyrighted material,
# never committed. Only code and the short Lean datasets belong in git.
*.pdf
*.epub
*.djvu
books/
textbook/*.txt
*_raw.txt

# Local state
.env
data/
database/
results/
out/
*.sqlite
*.sqlite-wal
*.sqlite-shm

# Lean build output
lean/.lake/
lean/lake-packages/
lean/build/

# Python
__pycache__/
*.py[cod]
.venv/
venv/
*.egg-info/
.pytest_cache/
.ruff_cache/
.coverage
htmlcov/

# Editors and OS
.DS_Store
.idea/
.vscode/

# Local experiment data: passages from copyrighted books and per-run outputs
runs/
**/private/
*.labels.json
.leanbench-cache/
