S
stdpp
Forked from
Iris / stdpp
1714 commits behind the upstream repository.
Robbert Krebbers
authored
LICENSE: Clarify which BSD license is being used See merge request iris/stdpp!174
Name | Last commit | Last update |
---|---|---|
tests | ||
theories | ||
.gitattributes | ||
.gitignore | ||
.gitlab-ci.yml | ||
.gitmodules | ||
CHANGELOG.md | ||
LICENSE | ||
Makefile | ||
Makefile.coq.local | ||
README.md | ||
_CoqProject | ||
opam |