# Build artifacts
theory/papers/*/latex/*.aux
theory/papers/*/latex/*.log
theory/papers/*/latex/*.out
theory/papers/*/latex/*.pdf
theory/papers/*/latex/*.toc
theory/papers/*/latex/*.bbl
theory/papers/*/latex/*.blg
theory/papers/paper_*/latex/compile_log_*.txt

# Private/confidential documents
docs/private/

# OS-specific files
.DS_Store
**/.DS_Store

# Rust artifacts
target/
**/target/
Cargo.lock.backup

# Node modules
node_modules/
**/node_modules/

# Coq artifacts
*.vo
*.vok
*.vos
*.glob
.coq-globals
.aux
.*.aux

# Other logs
*.log

# Tool caches
.playwright-mcp/
.wrangler/
**/.wrangler/
.claude/worktrees/
__pycache__/
**/__pycache__/
