Search for blocks/addresses/...

Proofgold Proposition

wceq c0p (cxp cc (csn cc0))
type
prop
theory
SetMM
name
df_0p
proof
PUa4n..
Megalodon
-
proofgold address
TMQsV..
creator
36386 PrCmT../1f269..
owner
36386 PrCmT../1f269..
term root
79a85..