logoalt Hacker News

mitxelayesterday at 10:33 PM0 repliesview on HN

Was the proof correct?