Skip to content

Instantly share code, notes, and snippets.

@rodigu

rodigu/reference-wumbo.md

Created March 24, 2025 12:53
Show Gist options
  • Save rodigu/835494b907f54f89f6c7c4e140eec786 to your computer and use it in GitHub Desktop.
Save rodigu/835494b907f54f89f6c7c4e140eec786 to your computer and use it in GitHub Desktop.
Download ZIP
reference-wumbo
Raw
reference-wumbo.md

wumbo is a website with references for formal mathematical symbols.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment