pdl
Tableaux for Propositional Dynamic Logic in Lean 4 (WORK IN PROGRESS)
1-7 of 7 versions of pdl
Sort by
Date
d2b67a7v4.26.0-rc2v4.26.0-rc2d2b67a7v4.26.0-rc2v4.26.0-rc2f350279v4.25.0v4.25.036fdf6bv4.25.0-rc2v4.25.0-rc2cbab00dv4.24.0-rc1v4.24.0-rc14ab9256v4.23.0v4.23.0741b700v4.22.0-rc3v4.22.0-rc3