incoming/
__pycache__/
*.py[cod]
.pytest_cache/
.venv/

# Lean build cache
.lake/
lean/**/.lake/

# LaTeX intermediates (the final PDF is tracked)
article/*.aux
article/*.fdb_latexmk
article/*.fls
article/*.log
article/*.out
article/*.synctex.gz
