Search for blocks/addresses/...
Proofgold Term Root Disambiguation
Loop
(
Sing
0
)
(
λ x0 x1 .
0
)
(
λ x0 x1 .
0
)
(
λ x0 x1 .
0
)
(
Sing
0
)
as obj
-
as prop
f3ad1..
theory
HF
stx
c05fb..
address
TMQ3t..