Search for blocks/addresses/...
Proofgold Object
CD_proj1
(
Sing
2
)
SNo
type
ι
→
ι
theory
HotG
name
CSNo_Im
definition
PUQvq..
Megalodon
CSNo_Im
proofgold address
TMUTb..
CSNo_Im
creator
28444
PrQUS..
/
fa868..
owner
28444
PrQUS..
/
fa868..
term root
9a1a1..