Hacker News new | ask | show | jobs
Using program induction for verification – will this work? (blog.foretellix.com)
2 points by yoav_hollander 3167 days ago