Propositional Dynamic Logic

This module serves as the root of the Pdl library, importing all its modules.

Source repository: https://github.com/m4lvin/lean4-pdl

Dependency graph:

(This shows the status of the main branch at the last successful CI run.)