package coq-iris-heap-lang
The canonical example language for Iris
Install
Dune Dependency
Authors
Maintainers
Sources
iris-4.4.0.tar.gz
sha512=434d58b823ec73cdb2b8d98cb9a34c8e24fbe50914cf3eaa8e1aeacce67cee875138b53d29d8cadd3a46baa816eee9d228e15365bed9c56adbaa6afba3dfbd8d
Description
This package defines HeapLang, a concurrent lambda calculus with references, and uses Iris to build a program logic for HeapLang programs.
On This Page