Skip to main content

Browse the archive

Revision 5e60394e9008d3f0f1b3b1225e9cc20c402bf1d8 authored by Yannick Forster on 21 April 2020, 10:58:33 UTC, committed by Yannick Forster on 21 April 2020, 10:58:33 UTC 
No warnings left
1 parent bf41863
Raw File
.gitignore 
*.aux
*.vo
*.v.d
*.glob
*Makefile.coq
*Makefile.coq.d
*Makefile.coq.conf
*.coqdeps.d
*.lia.cache
*.nia.cache
*.vok
*.vos
back to top