Skip to content

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

Robbert Krebbersrequested to merge
robbert/bi_wand_notation into master

As the title says.

Merge request reports