Grove- a Separation-Logic Library for Verifying Distributed Systems

OG: https://arxiv.org/pdf/2309.03046

Notes’ Reference:

---