Search for blocks/addresses/...
Proofgold Object
λ x0 x1 .
0ac37..
(
94f9e..
x0
f6917..
)
(
94f9e..
x1
09364..
)
type
ι
→
ι
→
ι
theory
HoTg
name
-
definition
PUKG7..
Megalodon
-
proofgold address
TMRZP..
creator
2750
PrGxv..
/
d79eb..
owner
2750
PrGxv..
/
d79eb..
term root
3d3c8..