Search for blocks/addresses/...

Proofgold Proposition

wceq chom (cslot (cdc c1 c4))
type
prop
theory
SetMM
name
df_hom
proof
PUWDt..
Megalodon
-
proofgold address
TMR8P..
creator
36376 PrCmT../59dd3..
owner
36376 PrCmT../59dd3..
term root
822fb..