Search for blocks/addresses/...
Proofgold Object
λ x0 .
binunion
x0
(
Sing
x0
)
type
ι
→
ι
theory
HotG
name
ordsucc
definition
PUL8Q..
Megalodon
ordsucc
proofgold address
TMKDT..
ordsucc
creator
4882
Pr6Pc..
/
8098d..
owner
4882
Pr6Pc..
/
8098d..
term root
65d88..