Search for blocks/addresses/...

Proofgold Proposition

wceq ccup (cdif (cxp (cxp cvv cvv) cvv) (crn (csymdif (ctxp cvv cep) (ctxp (cun (ccom (ccnv c1st) cep) (ccom (ccnv c2nd) cep)) cvv))))
type
prop
theory
SetMM
name
df_cup
proof
PUKaw..
Megalodon
-
proofgold address
TMRJ5..
creator
36383 PrCmT../f42aa..
owner
36383 PrCmT../f42aa..
term root
ca40f..