Search for blocks/addresses/...
Proofgold Term Root Disambiguation
57d6a..
3cd3c..
(
57d6a..
(
57d6a..
7a0ec..
5b8fe..
)
(
bcddf..
(
57d6a..
67ee8..
(
57d6a..
25ca3..
5b8fe..
)
)
(
λ x0 .
57d6a..
(
57d6a..
7a0ec..
5b8fe..
)
(
bcddf..
(
57d6a..
67ee8..
(
57d6a..
25ca3..
5b8fe..
)
)
(
λ x1 .
57d6a..
(
57d6a..
f3baa..
(
57d6a..
(
57d6a..
f3baa..
(
57d6a..
(
57d6a..
f3baa..
x0
)
ae581..
)
)
x1
)
)
(
57d6a..
(
57d6a..
f3baa..
(
57d6a..
c8911..
x0
)
)
x1
)
)
)
)
)
)
as obj
af10d..
as prop
-
theory
HOAS
stx
d89f8..
address
TMGuD..