Sign in
◑
Theme
fuchsia
/
third_party
/
github.com
/
leanprover
/
lean4
/
refs/heads/upstream/cancelparams
/
.
/
tests
/
lean
/
evalNone.lean
blob: f83f87b4f5afa444c2e82ac62a0cdc0877a33c70 [
file
] [
edit
]
#eval none
#eval [].head?
