Skip to content
GitLab
Explore
Sign in
Iris
Iris
Merge requests
!1018
Remove needless later in total adequacy.
Code
Review changes
Check out branch
Download
Patches
Plain diff
Robbert Krebbers
requested to merge
robbert/total_adequacy_later
into
master
Nov 11, 2023
Overview
1
Commits
1
Pipelines
1
Changes
1
Expand
I don't know why this later was there in the first place, but Coq confirms it's not needed :).
Edited
Nov 11, 2023
by
Robbert Krebbers
Merge request reports