Hacker News

Local Reasoning for Global Properties

4 points by ltratt ago | 0 comments