Skip to content

Instantly share code, notes, and snippets.

@will62794

will62794/test.md

Last active July 3, 2022 03:40
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save will62794/b56f14dbbf9123a587178a26e64c9a28 to your computer and use it in GitHub Desktop.
Save will62794/b56f14dbbf9123a587178a26e64c9a28 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
test.md 
x \in SUBSET {1,2,3} /\ UNCHANGED y
---- MODULE test ---
x \in SUBSET {1,2,3} /\ UNCHANGED y
====
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment