News for hackers. Stuff that matters.

A comment on Mathematician's anger over his unread 500-page proof. Parent comment

Re:Mathematician's anger over his unread 500-page proof by desdiv on Friday January 09, 2015 @02:57PM (#8864129)
https://en.wikipedia.org/wiki/Automated_theorem_proving
[ Parent | on HN ]

There are no comments on this comment yet.