m4lvinpdl

Tableaux for Propositional Dynamic Logic in Lean 4 (WORK IN PROGRESS)
Displaying 1-1 of 1 packages depending on m4lvin/pdl
Sort by

  1. mgignoux/GLuses06d4bf8

    Craig interpolation for GL in Lean