# macOS
.DS_Store

# Python
__pycache__/
*.py[cod]
*.egg-info/
*.egg
*.pyo

# Environments
.venv/
venv/
env/

# Editor/IDE
.vscode/
.idea/

# Local artifacts
ProofCheck/.gradio/
*.log

# OS/Temp
Thumbs.db
*.tmp

# Local helper scripts and duplicates
setup_hf.py
pdf_comparator 2.py