package coq-iris

  1. Overview
  2. No Docs
Iris is a Higher-Order Concurrent Separation Logic Framework with support for interactive proofs

Install

Dune Dependency

iris-project.org Edit opam file Versions (11)

Authors

  1. T
    The Iris Team

Maintainers

  1. R
    Ralf Jung <jung@mpi-sws.org>

Sources

iris-3.2.0.tar.gz
sha512=2b83cefb84382ad6a1b66a252ca3b8a69595228d841988638c12474d68a405b919dc8413d42d5edaef64f1f8f909a95568c78ae9fc3a7723a65f1ae07513d90f

Description

Tags

date:2019-08-29

Published: 30 Aug 2019

Dependencies

None

Dev Dependencies (2)

  1. coq-stdpp (= "1.2.1") | (= "dev")
  2. coq (= "8.7.2") | (= "8.8.2") | (>= "8.9" & < "8.11~") | (= "dev")

Used by

None

Conflicts

None