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

Published 20 hours ago • verified publisher icon iehality

feat(Modal): Rewrite completeness of `𝐆𝐋`

Open SnO2WMaN opened this issue 1 year ago • 0 comments
trafficstars

SnO2WMaN avatar Aug 10 '24 05:08 SnO2WMaN