Formal Reasoning About Programs (2017) [pdf]adam.chlipala.net3 points·p0llard··0 commentsOpen articleSaveView on HN