HN
Hacker News
Top
New
Best
Ask
Show
Jobs
Comment by foobarbazoo | Hacker News Reader
Full thread
foobarbazoo
·
Time to fire up Coq and really prove it.
View on HN
shadowfox
·
My great grandchildren will be looking forward to the results :P
Reply on news.ycombinator.com