m4lvin/lean4-pdl

Tableaux for Propositional Dynamic Logic in Lean 4 (WORK IN PROGRESS)

Language: Lean - Size: 1.39 MB - Last synced at: 8 days ago - Pushed at: 9 days ago - Stars: 12 - Forks: 3