_build/
*.vo
*.glob
*.v.d
*.cmi
*.cmx
*.cmxs
*.native
*.o
*.aux
Makefile.coq*
Makefile.opam.coq
*~
\#*
.#*
.dir-locals.el
deps.dot
deps.pdf
.coqdeps.d
.DS_Store
html
index.md
index.html
*.coq.d
*.vok
*.vos
.lia.cache
