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.0.0.tar.gz
sha512=919ab6a7657d7bc6df3be576a752df884e44b638318574fcf0682cc04be3a272270986fb23a0010b09b4fd80c6a0dafe04b7364764381e6831e81e1f942ebffc
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