Forked from
Iris / Iris
Source project has a limited visibility.
-
Ralf Jung authoredwrite tactics to move particular assertions to the front, and to introduce a (*) while taking paticular assertions to the left/right
Ralf Jung authoredwrite tactics to move particular assertions to the front, and to introduce a (*) while taking paticular assertions to the left/right