Iris examples

[EmilyOng]

List examples: https://gitlab.mpi-sws.org/iris/examples/-/blob/master/theories/lecture_notes/lists.v?ref_type=heads

References

• https://arxiv.org/pdf/2105.12077.pdf
• https://iris-project.org/tutorial-material.html
• https://gitlab.mpi-sws.org/iris/iris/blob/master/docs/proof_mode.md
• https://coq.inria.fr/doc/V8.18.0/refman/