Search for blocks/addresses/...
Proofgold Object
∀ x0 : ο .
x0
type
ο
theory
HotG
name
False
definition
PUQdE..
Megalodon
False
proofgold address
TMZx4..
False
creator
4882
Pr6Pc..
/
6ef21..
owner
4882
Pr6Pc..
/
6ef21..
term root
1db70..