Search for blocks/addresses/...

Proofgold Proposition

wceq csdm (cdif cdom cen)
type
prop
theory
SetMM
name
df_sdom
proof
PUQ2W..
Megalodon
-
proofgold address
TMWR7..
creator
36396 PrCmT../3407a..
owner
36396 PrCmT../3407a..
term root
cb0bf..