HN
Hacker News
Top
New
Best
Ask
Show
Jobs
Comment by jonsterling | Hacker News Reader
Parent
Full thread
jonsterling
·
A formal proof? ;-)
View on HN
shelf
·
A constructive proof would satisfy!
Reply on news.ycombinator.com