logoalt Hacker News

keel-control • yesterday at 6:55 PM • 0 replies • view on HN

there is a proof in lean4 it's correct by construction