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