Projects in Awesome Lists tagged with dynamic-logic
A curated list of projects in awesome lists tagged with dynamic-logic .
https://github.com/m4lvin/lean4-pdl
Tableaux for Propositional Dynamic Logic in Lean 4 (WORK IN PROGRESS)
dynamic-logic interpolation modal-logic
Last synced: 24 Mar 2025
