package rocq-iris-heap-lang
The canonical example language for Iris
Install
Dune Dependency
Authors
Maintainers
Sources
iris-4.5.0.tar.gz
sha512=f72c7fb4f3f21cbad129fc2bab1974067dfd59a947009840598c614c079f0bce472a8dc3caa2e6c877634d3f24cd2611ddc75d6981af3ebbdf277ce336282151
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