lean4-logic icon indicating copy to clipboard operation
lean4-logic copied to clipboard
verified publisher icon iehality

Disjunction Property of Kriesel-Putnam Logic

Open SnO2WMaN opened this issue 1 year ago • 0 comments

Kriesel-Putnamの論理はDPを持つ．

SnO2WMaN avatar Mar 18 '25 20:03 SnO2WMaN