Skip to content

Lifting lemmas for working with arrays

Rodolphe Lepigre requested to merge lepigre/iris:offset_lifting into master

I need these kind of lemmas to conveniently work with arrays.

Merge request reports