# Rust
/target
/node_modules

# Lean
/formal/.lake/

# Python
__pycache__/
*.so
*.pyd
.venv/
dist/

# macOS
.DS_Store
**/.DS_Store

# LaTeX: keep .tex and the compiled .pdf; ignore the local tectonic binary + aux
writeups/tectonic
writeups/*.aux
writeups/*.bbl
writeups/*.blg
writeups/*.log
writeups/*.out
writeups/*.synctex.gz
writeups/*.fls
writeups/*.fdb_latexmk
.mypy_cache/
.ruff_cache/

# Local research scratch space
/tmp/

# Local reference-PDF library (downloaded citations, not repo content)
/ref/
