-
Robbert Krebbers authored
Super `iModIntro` tactic that generalizes `iAlways`, `iNext`, `iModIntro`, and more See merge request FP/iris-coq!121
ad908d6e
Super `iModIntro` tactic that generalizes `iAlways`, `iNext`, `iModIntro`, and more See merge request FP/iris-coq!121