A beginner guide to Iris, Coq and separation logic - 42Papers