_CoqProject
Makefile.coq
Makefile.coq.conf
.Makefile.coq.d

*.aux
*.glob
*.vio
*.vo
*.vok
*.vos

.lia.cache
.nia.cache

.direnv
