Local Reasoning for Global Properties
By surprisetalk · 2026-07-03 · 1 points · 0 comments
https://tratt.net/laurie/blog/2026/local_reasoning_for_global_properties.html
By surprisetalk · 1 points · 0 comments · on Hacker News, read on BetterNews.
Open the full discussion on BetterNews