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: