alt
Hacker News
mmastrac
•
yesterday at 3:49 PM
•
0 replies
•
view on HN
There are some interesting gaps in the proofs. Where did 045 go?