I

Iris

Project ID: 118

9

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

History Find file

Merge branch 'list_singletonM_{lt,gt}' into 'master' · e2f65bbd
Robbert authored Jan 23, 2020
```
Add several lemmas about list singletons

See merge request !364
```
e2f65bbd

Name	Last commit	Last update
.gitlab/issue_templates		Loading commit data...
benchmark		Loading commit data...
docs		Loading commit data...
tests		Loading commit data...
tex		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...
LICENSE		Loading commit data...
LICENSE-CODE		Loading commit data...
LICENSE-DOCS		Loading commit data...
Makefile		Loading commit data...
Makefile.coq.local		Loading commit data...
ProofMode.md		Loading commit data...
README.md		Loading commit data...
_CoqProject		Loading commit data...
build-all		Loading commit data...
opam		Loading commit data...
test-normalizer.sed		Loading commit data...