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.3.0.tar.gz
sha512=fcb1d2a9290931f4984cf20e1084876c221ec9f3022761bf6948ef7ce0f22b7babd3d70abddd6b96bcde2108746d23ff790e576db01aff6f2012e0a38ee74afa
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