kbuzzard/some0.lean

Created June 29, 2018 22:20

Star () You must be signed in to star a gist
Fork () You must be signed in to fork a gist

Learn more about clone URLs
Clone this repository at <script src="https://gist.github.com/kbuzzard/455709bfd5d8fed57f5e4321481adf5b.js"></script>
Save kbuzzard/455709bfd5d8fed57f5e4321481adf5b to your computer and use it in GitHub Desktop.

Download ZIP

What is `some 0`?

Raw

	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