The Iris Tutorial in Lean

12. Timeless Propositions🔗

This chapter has not yet been ported. The Rocq source is iris-tutorial/theories/timeless.v.