Search for blocks/addresses/...

Proofgold Proposition

wceq crels (cpw (cxp cvv cvv))
type
prop
theory
SetMM
name
df_rels
proof
PUZD6..
Megalodon
-
proofgold address
TMZyV..
creator
36376 PrCmT../2193f..
owner
36376 PrCmT../2193f..
term root
7a0ab..