Skip to content

Instantly share code, notes, and snippets.

@kbuzzard
Created June 29, 2018 22:20
Show Gist options
  • Save kbuzzard/455709bfd5d8fed57f5e4321481adf5b to your computer and use it in GitHub Desktop.
Save kbuzzard/455709bfd5d8fed57f5e4321481adf5b to your computer and use it in GitHub Desktop.
What is `some 0`?
definition X := some 0
#check X
#check ℕ
#check option
#check some
#check @some
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment