Hacker News new | ask | show | jobs
by DMac87 4174 days ago
This is an area of research: http://en.wikipedia.org/wiki/Automated_theorem_proving