alt
Hacker News
ReptileMan
•
yesterday at 7:57 PM
•
1 reply
•
view on HN
Why didn't you ran them to find simpler proof? This could also be big.
Replies
fn-mote
•
yesterday at 8:54 PM
That's next week's work.
alt Hacker News
That's next week's work.