News for hackers. Stuff that matters.

A comment on Programming is not math?. Parent comment

Re:Programming is not math? by john_b on Friday July 18, 2014 @04:05PM (#8055294)
http://en.wikipedia.org/wiki/Automated_theorem_proving
[ Parent | on HN ]

There are no comments on this comment yet.