# 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/