Search for blocks/addresses/...
Proofgold Object
λ x0 :
ι →
ι → ο
.
and
(
436d2..
x0
)
(
x0
086a0..
f52d3..
)
type
(
ι
→
ι
→
ο
) →
ο
theory
HOAS
name
-
definition
PUenj..
Megalodon
-
proofgold address
TMLHm..
creator
2153
PrGxv..
/
aaaf6..
owner
2153
PrGxv..
/
aaaf6..
term root
253ff..