Hacker News new | ask | show | jobs
Natural Proof (en.wikipedia.org)
1 points by ganeumann 3702 days ago