__pycache__/
*.egg-info/
.venv/
.env
results/

# Source textbook and raw/derived full-text dumps: copyrighted material, never commit.
# Only code and the final short Lean statement datasets under datasets/ are tracked.
*.pdf
textbook/*.txt
textbook/*_raw.txt
.DS_Store
textbook/*.elab-report.jsonl
