# Generated Makefile
Makefile.coq
Makefile.coq.conf
META.coq-paramcoq
META

# Dune
_build

# Make dependencies
*.d

# Backup files
*.bak

# emacs backup files
*~

# vim backup files
\#*\#

# Coq annotation files
*.glob

# Coq auxiliary files
.*.aux
*.vos
*.vok

# Coq compilation unit
*.vo

*.annot
*.cmo
*.cma
*.cmi
*.a
*.o
*.cmi
*.cmt
*.cmti
*.cmx
*.cmxs
*.cmxa

# coqpp generated file
src/abstraction.ml

# lia cache
.lia.cache
