Sign in
◑
Theme
fuchsia
/
third_party
/
github.com
/
leanprover
/
lean4
/
refs/heads/upstream/floatbits
/
.
/
tests
/
lean
/
unknownId.lean.expected.out
blob: 0bcf12387c47fb221b87c5109edb3e8563138038 [
file
] [
edit
]
unknownId
.
lean
:
3
:
7
-
3
:
10
:
error
:
unknown identifier
'bla✝'
unknownId
.
lean
:
6
:
2
-
6
:
5
:
error
:
unknown identifier
'bla✝'
unknownId
.
lean
:
11
:
6
-
11
:
9
:
error
:
unknown identifier
'bla✝'
