Search for blocks/addresses/...

Proofgold Proposition

wceq cmtc (cslot c4)
type
prop
theory
SetMM
name
df_mtc
proof
PUNz5..
Megalodon
-
proofgold address
TMSYN..
creator
36386 PrCmT../3437e..
owner
36386 PrCmT../3437e..
term root
977a8..