Search for blocks/addresses/...
Proofgold Term Root Disambiguation
bcddf..
1f2c4..
(
λ x0 .
bcddf..
(
57d6a..
67ee8..
(
57d6a..
25ca3..
(
57d6a..
(
57d6a..
62f06..
x0
)
(
57d6a..
(
57d6a..
62f06..
x0
)
5b8fe..
)
)
)
)
(
λ x1 .
bcddf..
(
57d6a..
67ee8..
(
57d6a..
25ca3..
(
57d6a..
(
57d6a..
62f06..
x0
)
x0
)
)
)
(
λ x2 .
57d6a..
(
57d6a..
7a0ec..
x0
)
(
bcddf..
(
57d6a..
67ee8..
(
57d6a..
25ca3..
x0
)
)
(
λ x3 .
57d6a..
(
57d6a..
7a0ec..
x0
)
(
bcddf..
(
57d6a..
67ee8..
(
57d6a..
25ca3..
x0
)
)
(
λ x4 .
57d6a..
(
57d6a..
f3baa..
(
57d6a..
(
57d6a..
x1
x3
)
x4
)
)
(
57d6a..
(
57d6a..
x1
(
57d6a..
x2
x3
)
)
(
57d6a..
x2
x4
)
)
)
)
)
)
)
)
)
as obj
75cd2..
as prop
-
theory
HOAS
stx
ca535..
address
TMQvu..