alt
Hacker News
Kotlopou
•
yesterday at 6:33 PM
•
0 replies
•
view on HN
It has been one hour and the proof has 165 pages. Give them some time.