-
Robbert Krebbers authored
See the discussion at https://gitlab.mpi-sws.org/FP/iris-coq/merge_requests/116.
28e72e3c
Name |
Last commit
|
Last update |
---|---|---|
build | ||
theories | ||
.gitignore | ||
.gitlab-ci.yml | ||
CHANGELOG.md | ||
CONTRIBUTING.md | ||
LICENSE | ||
Makefile | ||
README.md | ||
_CoqProject | ||
awk.Makefile | ||
descr | ||
opam |