l4v icon indicating copy to clipboard operation
l4v copied to clipboard
verified publisher icon seL4

should `corres_cases` also do case distinction on `if`?

Open lsf37 opened this issue 2 years ago • 0 comments

It looks like this would be relatively easy to add to #649, and could absolve one from trying to figure out the correct if splitting rule for the situation.

lsf37 avatar Jun 26 '23 06:06 lsf37