Skip to content

Instantly share code, notes, and snippets.

@nikos-kekatos
Last active July 28, 2023 21:47
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 nikos-kekatos/ea1eae940de19a717c42697ee3352011 to your computer and use it in GitHub Desktop.
Save nikos-kekatos/ea1eae940de19a717c42697ee3352011 to your computer and use it in GitHub Desktop.
Material for formal definitions, abstract math, symbolic notations, proofs
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment