-
Dealing with nested modalities in `iModIntro` 1 of 3 tasks completed
-
Improve naming of lemmas about modalities 0 of 1 task completed
-
Syntactic type system for heap_lang 0 of 2 tasks completed
-
Planning the Iris 3.2 release 0 of 1 task completed