package coq-iris-heap-lang
- Overview
- No Docs
You can search for identifiers within the package.
in-package search v0.2.0
The canonical example language for Iris
Install
Dune Dependency
Authors
Maintainers
Sources
iris-4.1.0.tar.gz
sha512=ce2c1523458f912dc64f9b962df65baf6efabb650fced27b302901374f50cfe818a80e0bf9c5cb465efa08ff9949126dc0b7d6603efc4151f78b76c5ce3bd676
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