TY  - RPRT
TI  - A beginner guide to Iris, Coq and separation logic
AU  - Elizabeth Dietrich
PY  - 2025
UR  - https://arxiv.org/abs/2105.12077
ID  - 2105.12077
ER  -