Search for blocks/addresses/...

Proofgold Proposition

wceq cmty (cslot c3)
type
prop
theory
SetMM
name
df_mty
proof
PUNz5..
Megalodon
-
proofgold address
TMa14..
creator
36386 PrCmT../7482a..
owner
36386 PrCmT../7482a..
term root
85f68..