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-3.5.0.tar.gz
sha512=a9b7485d020e31863f33dd50d4bdafdc7584c56647126b868aff5546453f10a61c7b4a8f68dbb35269a1888083f72066c5dd50480afa5a2bf069681464f5b44a
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