Hacker News new | ask | show | jobs
A fully automatic problem solver with human-style output (gowers.wordpress.com)
2 points by shamp00 4656 days ago