Flows in Iris

Formalization of the flow framework in the separation logic Iris.

Name		Name	Last commit message	Last commit date
Latest commit History 8 Commits
theories		theories
.gitignore		.gitignore
Makefile		Makefile
Makefile.conf		Makefile.conf
README.md		README.md
_CoqProject		_CoqProject

Navigation Menu