Why didn't you ran them to find simpler proof? This could also be big. | alt Hacker News

alt Hacker News

ReptileMan • today 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 • today at 8:54 PM

That's next week's work.