Code

Add implies as logical assertion#225

Code

Open

roelvanduijnhoven wants to merge 1 commit intowebmozarts:masterwebmozarts/assert:masterfrom roelvanduijnhoven:feature/impliesroelvanduijnhoven/assert:feature/impliesCopy head branch name to clipboard

Commits

Commits on Jan 25, 2021

• Add implies as a logical assertion.

  Show description for 9051325
  roelvanduijnhoven

  committed
  9051325

  Copy full SHA for 9051325