Search for blocks/addresses/...

Proofgold Proposition

wceq cedgf (cslot (cdc c1 c8))
type
prop
theory
SetMM
name
df_edgf
proof
PUbPn..
Megalodon
-
proofgold address
TMbBp..
creator
36387 PrCmT../17c28..
owner
36387 PrCmT../17c28..
term root
2a60e..