m4lvin / lean4-pdl

Tableaux for Propositional Dynamic Logic in Lean 4 (WORK IN PROGRESS)
11Updated last week

Alternatives and similar repositories for lean4-pdl:

Users that are interested in lean4-pdl are comparing it to the libraries listed below