Skip to content
GitLab

Add ∗-∗ as notation in stdpp_scope similar to -∗.

Open Robbert Krebbers requested to merge robbert/bi_wand_notation into master

As the title says.