lean4 icon indicating copy to clipboard operation
lean4 copied to clipboard

Published 20 hours ago • verified publisher icon leanprover

feat: `debug.proofAsSorry`

Open Kha opened this issue 1 year ago • 2 comments

An experimental variant of debug.byAsSorry

Kha avatar Aug 23 '24 08:08 Kha