Propositional Dynamic Logic in Lean 4, showing Craig Interpolation via Tableau
-
Updated
Sep 9, 2026 - Lean
#
dynamic-logic
Here are 2 public repositories matching this topic...
SocialDiffusionProj
-
Updated
Aug 22, 2022 - JavaScript
Add this topic to your repo
To associate your repository with the dynamic-logic topic, visit your repo's landing page and select "manage topics."