logoalt Hacker News

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

Proof sketch is not proof