ewd998 icon indicating copy to clipboard operation
ewd998 copied to clipboard

Published 20 hours ago • verified publisher icon tlaplus-workshops

Warmup exercises

Open lemmy opened this issue 1 year ago • 0 comments

  • Set theory refresher
  • https://github.com/tlaplus-workshops/ewd998/blob/main/F.tla

lemmy avatar Oct 12 '22 21:10 lemmy