package rocq-iris-heap-lang

You can search for identifiers within the package.

in-package search v0.2.0

The canonical example language for Iris

Install

sha512=ef80fe54729b0f9471415ec32b5a78e26f73459e0ea9a2056b13a9590820a6accf878b6c414081d066b1a4cebaaf8546e61276e3c5356eceb92a1d689accabe7

This package defines HeapLang, a concurrent lambda calculus with references, and uses Iris to build a program logic for HeapLang programs.

None

None

None

On This Page