package coq-iris
- Overview
- No Docs
You can search for identifiers within the package.
in-package search v0.2.0
Iris is a Higher-Order Concurrent Separation Logic Framework with support for interactive proofs
Install
Dune Dependency
Authors
Maintainers
Sources
iris-3.3.0.tar.gz
sha512=451145d68f18ab65649edbf1c78f0fccbc9748829a15640efc30cabed7ce14c5ee246f41de130e3fd331172e6a5a347c6810dbe2838c7d3ae2e32dbf6d1adb4d
Description
Dependencies
None
Used by (1)
Conflicts
None
On This Page