A adam.chlipala.net Formal Reasoning About Programs (2017) [pdf] 83 points p0llard 6 years ago 23 comments
