Skip to content

fix for iris!886 and iris!896

Michael Sammlerrequested to merge
msammler/new_contractive into master

This MR adapts lambda rust for iris!886 (merged) by using the compatibility lemmas and tactics.

Merge request reports