Local Reasoning for Global Properties

by mpweiher | View on Hacker News