Skip to main content

Browse the archive

Revision 8f4a15289bd5a6449ddb136534e2cb4080b15b73 authored by thery on 27 November 2019, 17:42:35 UTC, committed by thery on 27 November 2019, 17:42:35 UTC 
Merge branch 'master' of github.com:thery/coqprime
2 parent s 4a18944 + 37c8043
Raw File
.gitignore 
*.d
*.vo
*.vos
*.vok
*.glob
*.aux
.coq-native/
.csdp.cache
.lia.cache
.nia.cache
.nlia.cache
.nra.cache
/Makefile.conf
/Makefile.coq.conf
/Makefile.coq
*~
back to top