m4lvinpdl

Tableaux for Propositional Dynamic Logic in Lean 4 (WORK IN PROGRESS)
#dynamic-logic #interpolation #modal-logic
Displaying 1-7 of 7 versions of pdl
Sort by
  1. Not a part of any version track.
    d2b67a7
    v4.26.0-rc2
    3 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
  2. Not a part of any version track.
    d2b67a7
    v4.26.0-rc2
    3 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
  3. Not a part of any version track.
    f350279
    v4.25.0
    13 days 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
  4. Not a part of any version track.
    36fdf6b
    v4.25.0-rc2
    23 days 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
  5. Not a part of any version track.
    cbab00d
    v4.24.0-rc1
    a month 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
  6. 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
  7. Not a part of any version track.
    741b700
    v4.22.0-rc3
    4 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