I

Iris

Project ID: 118

5

The Coq development for Iris. [project website] [coqdoc]

History Find file

Merge branch 'big_sepL2_app_inv_2' into 'master' · 0cdad2cb
Robbert authored Jul 14, 2019
```
Add `big_sepL2_app_inv_2`.

See merge request !292
```
0cdad2cb

Name	Last commit	Last update
.gitlab/issue_templates		Loading commit data...
benchmark		Loading commit data...
docs		Loading commit data...
tests		Loading commit data...
theories		Loading commit data...
.gitattributes		Loading commit data...
.gitignore		Loading commit data...
.gitlab-ci.yml		Loading commit data...
.gitmodules		Loading commit data...
CHANGELOG.md		Loading commit data...
CONTRIBUTING.md		Loading commit data...
Editor.md		Loading commit data...
HeapLang.md		Loading commit data...
LICENSE		Loading commit data...
LICENSE-CODE		Loading commit data...
LICENSE-DOCS		Loading commit data...
Makefile		Loading commit data...
Makefile.coq.local		Loading commit data...
ProofGuide.md		Loading commit data...
ProofMode.md		Loading commit data...
README.md		Loading commit data...
StyleGuide.md		Loading commit data...
_CoqProject		Loading commit data...
build-all		Loading commit data...
descr		Loading commit data...
opam		Loading commit data...
test-normalizer.sed		Loading commit data...