m4lvinpdl

Tableaux for Propositional Dynamic Logic in Lean 4 (WORK IN PROGRESS)
Displaying 1-8 of 8 versions of pdl
Sort by
  1. Not a part of any version track.
    70b8a9f
    v4.27.0-rc1
    9 days ago
    Released on December 15, 2025 at 8:47:52PM
    Commit 70b8a9f builds on its recent leanprover/lean4:v4.27.0-rc1
    v4.27.0-rc1
    26.9 MB Build archive size: 26855765 bytes.
  2. Not a part of any version track.
    70b8a9f
    v4.27.0-rc1
    9 days ago
    Released on December 15, 2025 at 8:47:52PM
    Commit 70b8a9f builds on its recent leanprover/lean4:v4.27.0-rc1
    v4.27.0-rc1
    26.9 MB Build archive size: 26855765 bytes.
  3. Not a part of any version track.
    d2b67a7
    v4.26.0-rc2
    23 days ago
    Released on December 1, 2025 at 6:51:01PM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.26.0-rc2
  4. Not a part of any version track.
    f350279
    v4.25.0
    a month ago
    Released on November 21, 2025 at 11:54:25AM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.25.0
  5. Not a part of any version track.
    36fdf6b
    v4.25.0-rc2
    a month ago
    Released on November 11, 2025 at 8:57:45PM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.25.0-rc2
  6. Not a part of any version track.
    cbab00d
    v4.24.0-rc1
    2 months ago
    Released on October 19, 2025 at 8:17:30PM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.24.0-rc1
  7. Not a part of any version track.
    4ab9256
    v4.23.0
    3 months ago
    Released on September 15, 2025 at 8:13:30AM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.23.0
  8. Not a part of any version track.
    741b700
    v4.22.0-rc3
    5 months ago
    Released on July 24, 2025 at 1:21:35PM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.22.0-rc3