The Iris Tutorial in Lean

1. Recommended Learning Path🔗

To get a good understanding of the fundamental concepts of Iris, it is recommended to study the following chapters in the given order.