Search for blocks/addresses/...

Proofgold Proposition

wceq cgzi (cgox (co (co c0 c1o cgoe) (cgol (co (co c2o c1o cgoe) (cgox (co (co c2o c0 cgoe) (co c0 c1o cgoe) cgoa) c0) cgoi) c2o) cgoa) c1o)
type
prop
theory
SetMM
name
df_gzinf
proof
PUNz5..
Megalodon
-
proofgold address
TMK8t..
creator
36386 PrCmT../08a54..
owner
36386 PrCmT../08a54..
term root
8f2e3..