Search for blocks/addresses/...

Proofgold Proposition

wceq citv (cslot (cdc c1 c6))
type
prop
theory
SetMM
name
df_itv
proof
PUbnn..
Megalodon
-
proofgold address
TMQc6..
creator
36388 PrCmT../7bd48..
owner
36388 PrCmT../7bd48..
term root
633b3..