logoalt Hacker News

Kotlopouyesterday at 6:33 PM0 repliesview on HN

It has been one hour and the proof has 165 pages. Give them some time.