logoalt Hacker News

lsc4719 • yesterday at 3:06 AM • 0 replies • view on HN

Proof sketch is not proof