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

Published 20 hours ago โ€ข verified publisher icon iehality

feat(Modal): Kripke Incompleteness of `๐Š๐‡`

Open SnO2WMaN opened this issue 7 months ago โ€ข 0 comments

๐Š๐‡ใฏKripkeๅฎŒๅ…จใงใฏใชใ„๏ผŽ

SnO2WMaN avatar Jul 23 '24 20:07 SnO2WMaN