Skip to content
GitLab
Explore
Sign in
Iris
Iris
Merge requests
!894
Strengthened [step_fupd_frame_l] and [step_fupdN_frame_l] lemmas
Code
Review changes
Check out branch
Download
Patches
Plain diff
Jonas Kastberg
requested to merge
jihgfee/iris-coq:stronger_step_fupd_frame_lemmas
into
master
Feb 16, 2023
Overview
5
Commits
1
Pipelines
1
Changes
1
Expand
Lemmas pertaining to
step_fupd
seem to have missing laters
Merge request reports