*.aux
*.png
*.fdb_latexmk
*.fls
*.log
*.pdf
*.gz
*.out
*.xref
*.html
*.dvi
*.css
*.idv
*.4ct
*.4tc
*.lg
*.tmp
*.cmi
*.cmx
*.o
*.out
Makefile~
proofs/
.vscode
.claude