proof/.gitignore


1
2
3
4
5
6
7
8
9
10
11

# Coq build artifacts
*.vo
*.vos
*.vok
*.glob
*.aux
.*.aux
Makefile.coq
Makefile.coq.conf
.Makefile.coq.d
.coqdeps.d