.gitignore

.*.cache
*~
*.d
*.vo
*.vok
*.vos
/Makefile.coq
/Makefile.coq.conf
/Makefile.hott
/Makefile.hott.conf
*.bak
*.cm*
*.o
*.glob
*.aux
*.mtc*
*.maf
*.bbl
*.blg
*.log
*.map
*.out
*.toc
*.a
/doc/auto/
/doc/coqdoc.sty
/doc/equations.pdf
/doc/intro.pdf
/doc/intro.tex
/theories/.coq-native/
/test-suite/.coq-native/
/html/
/examples/nlia.cache
/examples/.nia.cache
docs/.sass-cache/
docs/_site
/examples/*.tex
/examples/coqdoc.sty
/test-suite/Makefile
/test-suite/bisect.coq
/test-suite/Makefile.conf
/src/*.annot
*.lock
/doc/equations.fls
/doc/equations.fdb_latexmk
/.nia.cache
/src/g_equations.ml

# Dune-generated files
.merlin
_build
*.install
/test-suite/*.agdai
/custom-HoTT/
/examples/Makefile
/examples/Makefile.conf
/Makefile.conf
Equations-HoTT
_opam
custom-HoTT
doc/equations_intro.tex
doc/equations_intro.html
doc/coqdoc.css
doc/index.html