Search for blocks/addresses/...

Proofgold Proposition

wceq cem (csu cn (λ x0 . co (co c1 (cv x0) cdiv) (cfv (co c1 (co c1 (cv x0) cdiv) caddc) clog) cmin))
type
prop
theory
SetMM
name
df_em
proof
PUMn8..
Megalodon
-
proofgold address
TMKvT..
creator
36377 PrCmT../1f940..
owner
36377 PrCmT../1f940..
term root
d42a9..