Search for blocks/addresses/...
Proofgold Object
CD_add
(
Sing
3
)
CSNo
add_CSNo
type
ι
→
ι
→
ι
theory
HotG
name
add_HSNo
definition
PUgzA..
Megalodon
add_HSNo
proofgold address
TMGm6..
add_HSNo
creator
28464
PrQUS..
/
849e4..
owner
28464
PrQUS..
/
849e4..
term root
a3bb1..