Skip to content
GitLab
Explore
Sign in
Iris
Iris
Merge requests
!832
add lemmas for core of auth⋅frag in view and auth
Code
Review changes
Check out branch
Download
Patches
Plain diff
Ralf Jung
requested to merge
jung/iris:view-both-core
into
master
Aug 05, 2022
Overview
9
Commits
3
Pipelines
3
Changes
2
Expand
Leftovers from my first approach to
!827 (merged)
, that I think might still be useful.
Merge request reports