Search for blocks/addresses/...

Proofgold Proposition

wceq ccap (cdif (cxp (cxp cvv cvv) cvv) (crn (csymdif (ctxp cvv cep) (ctxp (cin (ccom (ccnv c1st) cep) (ccom (ccnv c2nd) cep)) cvv))))
type
prop
theory
SetMM
name
df_cap
proof
PUKaw..
Megalodon
-
proofgold address
TMcjC..
creator
36383 PrCmT../6263b..
owner
36383 PrCmT../6263b..
term root
f446c..