.gitignore


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25

*.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