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.4.0.tar.gz
sha512=f227cf2535e76315605c0dce8adeb9c0ef157a6f97e99624915331061d88ab1892dc0342fe5de1591b234fcd767496572d3bfc70bdb11ac49909bd7d403d2af9

Description

This package provides the following Coq modules: iris.prelude, iris.algebra, iris.si_logic, iris.bi, iris.proofmode, iris.base_logic, iris.program_logic.

Tags

date:2021-02-16

Published: 16 Feb 2021

Dependencies

None

Dev Dependencies (2)

  1. coq-stdpp (= "1.5.0") | (= "dev")
  2. coq (>= "8.11" & < "8.14~") | (= "dev")

Conflicts

None