Forked from
Iris / Iris
5163 commits behind, 1 commit ahead of the upstream repository.
Name | Last commit | Last update |
---|---|---|
benchmark | ||
build | ||
docs | ||
theories | ||
.gitignore | ||
.gitlab-ci.yml | ||
CHANGELOG.md | ||
CONTRIBUTING.md | ||
LICENSE | ||
LICENSE-CODE | ||
LICENSE-DOCS | ||
Makefile | ||
ProofMode.md | ||
README.md | ||
_CoqProject | ||
awk.Makefile | ||
naming.txt | ||
opam | ||
opam.pins |