"theories/algebra/auth.v" did not exist on "692b8570bb60087d77f33e36ee224c279d522018"
Forked from
Iris / Iris
Source project has a limited visibility.
-
Robbert Krebbers authored
In this case, we cannot use all the hypotheses for proving the premises as well as for the remaining goal.
Robbert Krebbers authoredIn this case, we cannot use all the hypotheses for proving the premises as well as for the remaining goal.
