Search for blocks/addresses/...

Proofgold Proposition

wceq cgzg (co (cgox (co c1o c0 cgoe) c1o) (cgox (co (co c1o c0 cgoe) (cgol (co (co c2o c1o cgoe) (cgon (co c2o c0 cgoe)) cgoi) c2o) cgoa) c1o) cgoi)
type
prop
theory
SetMM
name
df_gzreg
proof
PUNz5..
Megalodon
-
proofgold address
TMSA8..
creator
36386 PrCmT../191fb..
owner
36386 PrCmT../191fb..
term root
91429..