Search for blocks/addresses/...

Proofgold Proposition

wceq cpli (cres coa (cxp cnpi cnpi))
type
prop
theory
SetMM
name
df_pli
proof
PUYnQ..
Megalodon
-
proofgold address
TMGmY..
creator
36397 PrCmT../341b8..
owner
36397 PrCmT../341b8..
term root
f0c05..