@misc{indiciaeb05d5a0f26fb,
  title = {A beginner guide to Iris, Coq and separation logic},
  author = {Elizabeth Dietrich},
  year = {2025},
  url = {https://arxiv.org/abs/2105.12077},
  note = {Source identifier: 2105.12077}
}