Skip to content
GitLab
Explore
Sign in
Iris
Iris
Merge requests
!974
fix a lemma being accidentally about the wrong fixpoint...
Code
Review changes
Check out branch
Download
Patches
Plain diff
Ralf Jung
requested to merge
ralf/fixpoint-confusion
into
master
Aug 11, 2023
Overview
0
Commits
1
Pipelines
2
Changes
2
Expand
Thanks to
@maxvi
for pointing this out!
Merge request reports