projects
/
coq-hetmet.git
/ blob
commit
grep
author
committer
pickaxe
?
search:
re
aa0d01f3192e2492bb0166ec7d719abb339fce33
[coq-hetmet.git]
/
.gitignore
1
examples/tutorial.coqpass
2
examples/tutorial.tex
3
examples/tutorial.pdf
4
build/
5
build/**