Skip to content

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

Robbert Krebbers requested to merge robbert/bi_wand_notation into master

As the title says.

Merge request reports