lean4-logic icon indicating copy to clipboard operation
lean4-logic copied to clipboard

Published 20 hours ago • verified publisher icon iehality

add(Modal/ProvabilityLogic): Add Modal Logic of Gödel Sentence

Open SnO2WMaN opened this issue 6 months ago • 0 comments

SnO2WMaN avatar Apr 13 '25 15:04 SnO2WMaN