package coq-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=9218ac91a209a0e1d5065770fda169ef61c6cf0df0bbe9e481965c8c07ee0cd9c922b3a1703b9684f3582cfb4a1bc87493f4d4bae60301d32cc1b01a91924f66

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