Using program induction for verification – will this work?blog.foretellix.com2 points·yoav_hollander··0 commentsOpen articleSaveView on HN