
Genie
Name | Last commit | Last update |
---|---|---|
theories | ||
.gitattributes | ||
.gitignore | ||
.gitlab-ci.yml | ||
LICENSE | ||
Makefile | ||
Makefile.coq.local | ||
README.md | ||
_CoqProject | ||
coq-iris-examples.opam | ||
coq-lint.sh |
Name | Last commit | Last update |
---|---|---|
theories | ||
.gitattributes | ||
.gitignore | ||
.gitlab-ci.yml | ||
LICENSE | ||
Makefile | ||
Makefile.coq.local | ||
README.md | ||
_CoqProject | ||
coq-iris-examples.opam | ||
coq-lint.sh |