Skip to main content

Browse the archive

Revision 34e8d801e01c72c0e799cae8d6b41a9f68ad3d29 authored by Yannick Forster on 23 October 2019, 14:09:53 UTC, committed by Yannick Forster on 23 October 2019, 14:09:53 UTC 
Update README
1 parent 4544d71
Raw File
.gitignore 
*.aux
*.vo
*.v.d
*.glob
*Makefile.coq
*Makefile.coq.conf
*.coqdeps.d
*.lia.cache
*.nia.cache
back to top