-
!192
-
Fine-grained post-conditions for forked-off threads 2 of 2 checklist items completed!182
-
!173
-
!180
-
Super `iModIntro` tactic that generalizes `iAlways`, `iNext`, `iModIntro`, and more 7 of 7 checklist items completed!121 gen_proofmode