A brief introduction to Iris: a powerful framework for concurrency reasoningplv.csail.mit.edu3 pointsmatt_d6 years ago