Search for blocks/addresses/...
Proofgold Term Root Disambiguation
λ x0 :
ι → ο
.
λ x1 x2 .
or
(
x0
x2
)
(
x2
=
x1
)
as obj
de327..
as prop
-
theory
HOAS
stx
a68ac..
address
TMTUE..