Skip to content
CI

Move LabelledGentzen/ToString to a new ProvabilityLogicPlayground lib #2

Sign in to view logs

Move LabelledGentzen/ToString to a new ProvabilityLogicPlayground lib

Move LabelledGentzen/ToString to a new ProvabilityLogicPlayground lib #2

Generate page

Generate page
succeeded Jul 10, 2026 in 14s