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

Yablo's Paradox Formalization

Open SnO2WMaN opened this issue 8 months ago • 1 comments

SnO2WMaN avatar Aug 12 '25 10:08 SnO2WMaN

Part1: #514 Part2: ?

SnO2WMaN avatar Aug 27 '25 19:08 SnO2WMaN