Code

SemiSequent and EqualsModProperty#11

Code

Merged

Drodt merged 1 commit intoDrodt:rusty-whileDrodt/key:rusty-whilefrom tobias-rnh:taclet-pbuildertobias-rnh/key:taclet-pbuilderCopy head branch name to clipboardJul 26, 2024

+877-1

Commits

Commits on Jul 26, 2024

• adapt equality modulo renaming to rusty_while

  tobias-rnh

  committed
  8ceeef7

  Copy full SHA for 8ceeef7