https://github.com/AU-COBRA/ConCert
Tip revision: 672ba0dc04001ae0c0b6e49f161a2490b80ae3c4 authored by Danil Annenkov on 10 January 2020, 12:53:31 UTC
Create LICENSE
Create LICENSE
Tip revision: 672ba0d
.gitignore
.hidden
*.dpd
*.dot
##Coq
*.vo
*.glob
*.v.d
*~
Makefile.coq
Makefile.coq.conf
*.a
*.cma
*.cmi
*.cmo
*.cmx
*.cmxa
*.cmxs
*.ml.d
*.mllib.d
*.o
*.aux
*.d
*.lia.cache
doc/
# artefact
cpp20-artefact.zip