*~
*.coq.all*

*.vo
*.vos
*.vok
*.aux
*.glob
*.cache

.direnv/

/result