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
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 |