package coq-iris-heap-lang
- Overview
- No Docs
You can search for identifiers within the package.
in-package search v0.2.0
HeapLang is the canonical example language for Iris
Install
Dune Dependency
Authors
Maintainers
Sources
iris-3.4.0.tar.gz
sha512=f227cf2535e76315605c0dce8adeb9c0ef157a6f97e99624915331061d88ab1892dc0342fe5de1591b234fcd767496572d3bfc70bdb11ac49909bd7d403d2af9
Description
This package provides the iris.heap_lang Coq module.
On This Page