leanprover-communityiris

Lean 4 port of Iris, a higher-order concurrent separation logic framework
Displaying 1-7 of 7 versions of iris
Sort by
  1. Not a part of any version track.
    5fe59a8
    v4.25.1
    4 days ago
    Released on November 23, 2025 at 7:18:05PM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.25.1
  2. Not a part of any version track.
    5fe59a8
    v4.25.1
    4 days ago
    Released on November 23, 2025 at 7:18:05PM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.25.1
  3. Not a part of any version track.
    56ab881
    v4.25.0
    4 days ago
    Released on November 23, 2025 at 7:14:52PM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.25.0
  4. Not a part of any version track.
    36d042d
    v4.24.0
    a month ago
    Released on October 15, 2025 at 10:50:26AM
    Commit 36d042d builds on its old leanprover/lean4:v4.24.0
    v4.24.0
    9.5 MB Build archive size: 9476152 bytes.
  5. Not a part of any version track.
    7753d9f
    v4.23.0
    a month ago
    Released on October 14, 2025 at 12:04:26AM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.23.0
  6. Not a part of any version track.
    c64b09a
    v4.22.0
    a month ago
    Released on October 13, 2025 at 11:58:38PM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.22.0
  7. Not a part of any version track.
    3f02683
    v4.21.0
    4 months ago
    Released on August 1, 2025 at 12:03:57PM
    Commit 3f02683 builds on its old leanprover/lean4:v4.21.0
    v4.21.0
    9.6 MB Build archive size: 9590248 bytes.