Local Reasoning for Global Properties
Posted 3 days ago by
mpweiher
29
points
https://tratt.net/laurie/blog/2026/local_reasoning_for_global_properties.html
2
comments
Loading..
Loading..