Skip to content
GitLab
Explore
Sign in
Iris
Iris
Merge requests
!764
Add ∗-∗ as notation in stdpp_scope similar to -∗.
Code
Review changes
Check out branch
Download
Patches
Plain diff
Robbert Krebbers
requested to merge
robbert/bi_wand_notation
into
master
Dec 05, 2021
Overview
12
Commits
4
Pipelines
5
Changes
3
Expand
As the title says.
Merge request reports