3 ms·A brief introduction to Iris: a powerful framework for concurrency reasoning3 points by matt_d 6y ago