https://github.com/AU-COBRA/ConCert
Revision 672ba0dc04001ae0c0b6e49f161a2490b80ae3c4 authored by Danil Annenkov on 10 January 2020, 12:53:31 UTC, committed by GitHub on 10 January 2020, 12:53:31 UTC
1 parent efb9ef3
History
Tip revision: 672ba0dc04001ae0c0b6e49f161a2490b80ae3c4 authored by Danil Annenkov on 10 January 2020, 12:53:31 UTC
Create LICENSE
Tip revision: 672ba0d
File Mode Size
docs
extra
smart-contract-interactions @ 70f7995
theories
.gitattributes -rw-r--r-- 247 bytes
.gitignore -rw-r--r-- 199 bytes
.gitmodules -rw-r--r-- 149 bytes
LICENSE -rw-r--r-- 1.1 KB
Makefile -rw-r--r-- 692 bytes
README.md -rw-r--r-- 3.2 KB
_CoqProject -rw-r--r-- 1.7 KB
build-artefact.sh -rwxr-xr-x 34 bytes

README.md

back to top