*~
*.coq.all*

*.vo
*.vos
*.vok

.direnv/