HN
Hacker News
Top
New
Best
Ask
Show
Jobs
Comment by konne88 | Hacker News Reader
Parent
Full thread
konne88
·
I would have expected "Coq" to fail.
View on HN
xigency
·
I would have expected Cox Communications to fail.
kruipen
·
Only if it could be formally proved wrong...
Reply on news.ycombinator.com