leanprover-communityiris-lean

Lean 4 port of Iris, a higher-order concurrent separation logic framework
Displaying 1-17 of 17 versions of iris-lean
Sort by
  1. Not a part of any version track.
    3d3dfe0
    9 hours ago
    Released on July 30, 2026 at 8:26:16AM
  2. Not a part of any version track.
    1398cf2
    v4.32.2
    a day ago
    Released on July 29, 2026 at 3:40:32PM
  3. Not a part of any version track.
    8f501a7
    v4.32.1
    7 days ago
    Released on July 23, 2026 at 12:54:10PM
  4. Not a part of any version track.
    3e2b759
    v4.32.0
    8 days ago
    Released on July 22, 2026 at 2:29:47PM
  5. Not a part of any version track.
    5a790ae
    v4.31.0
    20 days ago
    Released on July 10, 2026 at 1:35:17PM
  6. Not a part of any version track.
    6ddf890
    v4.30.0
    2 months ago
    Released on May 27, 2026 at 8:28:11PM
  7. Not a part of any version track.
    d7383dc
    v4.29.1
    2 months ago
    Released on May 27, 2026 at 5:21:46PM
  8. Not a part of any version track.
    5cbc794
    v4.29.0
    4 months ago
    Released on April 8, 2026 at 3:32:14PM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.29.0
  9. Not a part of any version track.
    54081c6
    v4.28.0
    5 months ago
    Released on February 20, 2026 at 6:51:08PM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.28.0
  10. Not a part of any version track.
    04a8e4a
    v4.26.0
    7 months ago
    Released on December 19, 2025 at 12:17:47PM
    Commit 04a8e4a builds on its old leanprover/lean4:v4.26.0
    v4.26.0
    10.9 MB Build archive size: 10938563 bytes.
  11. Not a part of any version track.
    18fcc07
    v4.25.2
    7 months ago
    Released on December 19, 2025 at 12:10:40PM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.25.2
  12. Not a part of any version track.
    5fe59a8
    v4.25.1
    8 months 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
  13. Not a part of any version track.
    56ab881
    v4.25.0
    8 months 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
  14. Not a part of any version track.
    36d042d
    v4.24.0
    10 months 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.
  15. Not a part of any version track.
    7753d9f
    v4.23.0
    10 months 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
  16. Not a part of any version track.
    c64b09a
    v4.22.0
    10 months 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
  17. Not a part of any version track.
    3f02683
    v4.21.0
    a year 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.