Re:How close are computers to automating mathematical reason...
by dang on Saturday August 29, 2020 @04:10PM
(#24319055)
Please keep personal swipes out of your comments here. They're against the rules (https://news.ycombinator.com/newsguidelines.html). We've had to ask you this before.
[ Parent
| on HN ]
There are no comments on this comment yet.