4 search results for "author:"The Iris Team""

Showing 1 - 4
  1. coq-iris

    No documentation

    A Higher-Order Concurrent Separation Logic Framework with support for interactive proofs
    date:2025-06-04 logpath:iris.prelude logpath:iris.algebra logpath:iris.si_logic logpath:iris.bi logpath:iris.proofmode logpath:iris.base_logic logpath:iris.program_logic
    The Iris Team
    4.4.0
    BSD-3-Clause
    Used by 2 other packages
    12 Jun 2025
  2. coq-iris-heap-lang

    No documentation

    The canonical example language for Iris
    date:2025-06-04 logpath:iris.heap_lang
    The Iris Team
    4.4.0
    BSD-3-Clause
    Used by 0 other packages
    12 Jun 2025
  3. rocq-iris

    No documentation

    A Higher-Order Concurrent Separation Logic Framework with support for interactive proofs
    date:2026-03-05 logpath:iris.prelude logpath:iris.algebra logpath:iris.si_logic logpath:iris.bi logpath:iris.proofmode logpath:iris.base_logic logpath:iris.program_logic
    The Iris Team
    4.5.0
    BSD-3-Clause
    Used by 1 other packages
    06 Mar 2026
  4. rocq-iris-heap-lang

    No documentation

    The canonical example language for Iris
    date:2026-03-05 logpath:iris.heap_lang
    The Iris Team
    4.5.0
    BSD-3-Clause
    Used by 0 other packages
    06 Mar 2026