package coq-iris

  1. Overview
  2. No Docs
Iris is a Higher-Order Concurrent Separation Logic for reasoning about fine-grained concurrent programs, building logical relations, and more. It features an interactive proof mode for carrying out separation logic proofs in Coq

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.0.0.tar.gz
md5=57b3384834a5347db223220cdcd9eb9e

Description

Published: 14 Jan 2017

Dependencies (1)

  1. ocaml

Dev Dependencies (2)

  1. coq-mathcomp-ssreflect ((>= "1.6.1" & < "1.7~") | (= "dev"))
  2. coq ((>= "8.5.1" & < "8.7~") | (= "dev"))

Used by

None

Conflicts

None