https://github.com/AU-COBRA/ConCert
Tip revision: 8433cdeb62c37974c53a5fa6fec0dc8318271fe2 authored by 4ever2 on 22 January 2024, 13:34:17 UTC
Bump actions/cache from 3 to 4 (#241)
Bump actions/cache from 3 to 4 (#241)
Tip revision: 8433cde
File | Mode | Size |
---|---|---|
.github | ||
embedding | ||
examples | ||
execution | ||
extra | ||
extraction | ||
papers | ||
utils | ||
.editorconfig | -rw-r--r-- | 230 bytes |
.gitattributes | -rw-r--r-- | 480 bytes |
.gitignore | -rw-r--r-- | 1.1 KB |
LICENSE | -rw-r--r-- | 1.1 KB |
Makefile | -rw-r--r-- | 6.1 KB |
README.md | -rw-r--r-- | 12.7 KB |
coq-concert.opam | -rw-r--r-- | 1.5 KB |