Search for blocks/addresses/...
Proofgold Object
pair_tag
(
Sing
4
)
type
ι
→
ι
→
ι
theory
HotG
name
HSNo_pair
definition
PUdK2..
Megalodon
HSNo_pair
proofgold address
TMdNc..
HSNo_pair
creator
28513
PrQUS..
/
a9e1d..
owner
28513
PrQUS..
/
a9e1d..
term root
62b54..