package coq-iris

  1. Overview
  2. No Docs
This is the Coq development of the Iris Project

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.1.0.tar.gz
md5=3e280893c0189141bb681cc87b7a9401

Description

Published: 21 Dec 2017

Dependencies (1)

  1. ocaml

Dev Dependencies (3)

  1. coq-stdpp (= "1.1.0") | (= "dev")
  2. coq-mathcomp-ssreflect (>= "1.6.1" & < "1.8~") | (= "dev")
  3. coq (>= "8.6.1" & < "8.9~") | (= "dev")

Used by

None

Conflicts

None