GitHub repository: m4lvin/lean4-pdl
Primary language: Lean
Description: Tableaux for Propositional Dynamic Logic in Lean 4 (WORK IN PROGRESS)