Skip to content
GitLab
Explore
Sign in
Iris
Actris
Merge requests
!28
Fixes for
iris!886
Code
Review changes
Check out branch
Download
Patches
Plain diff
Michael Sammler
requested to merge
msammler/new_contractive
into
master
Feb 06, 2023
Overview
1
Commits
1
Pipelines
0
Changes
4
Expand
This MR adapts Actris for
iris!886 (merged)
by using the compatibility lemmas.
Merge request reports