Hacker News new | ask | show | jobs
by calf 1020 days ago
It would be interesting to see some computer-aided proof expert write a possible counter-response to the article.