Search for blocks/addresses/...

Proofgold Proposition

wceq cgzu (cgox (cgol (co (cgox (co (co c2o c1o cgoe) (co c1o c0 cgoe) cgoa) c1o) (co c2o c1o cgoe) cgoi) c2o) c1o)
type
prop
theory
SetMM
name
df_gzun
proof
PUNz5..
Megalodon
-
proofgold address
TMHmx..
creator
36386 PrCmT../cd501..
owner
36386 PrCmT../cd501..
term root
ff408..