.gitignore


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22

*.aux
*.glob
*.vio
*.vo
*.vok
*.vos
.CoqMakefile.d
.Makefile.coq.d
.direnv
.lia.cache
Makefile.coq
Makefile.coq.conf
*#*.v#
*~
_build/
_coverage/
_opam/
result
mininix_history
.vscode/
.envrc
mininix.install