mgignouxGL0.1.0

Craig interpolation for GL in Lean
#math
Sort by
  1. Git dependency.
    Found on Reservoir.

    pdl06d4bf8

    Propositional Dynamic Logic in Lean 4, showing Craig Interpolation via Tableau
  2. Registry dependency.
    Found on Reservoir.

    mathlibv4.28.0

    The math library of Lean 4