Search for blocks/addresses/...
Proofgold Proposition
wceq
ccnfld
(
cun
(
cun
(
ctp
(
cop
(
cfv
cnx
cbs
)
cc
)
(
cop
(
cfv
cnx
cplusg
)
caddc
)
(
cop
(
cfv
cnx
cmulr
)
cmul
)
)
(
csn
(
cop
(
cfv
cnx
cstv
)
ccj
)
)
)
(
cun
(
ctp
(
cop
(
cfv
cnx
cts
)
(
cfv
(
ccom
cabs
cmin
)
cmopn
)
)
(
cop
(
cfv
cnx
cple
)
cle
)
(
cop
(
cfv
cnx
cds
)
(
ccom
cabs
cmin
)
)
)
(
csn
(
cop
(
cfv
cnx
cunif
)
(
cfv
(
ccom
cabs
cmin
)
cmetu
)
)
)
)
)
type
prop
theory
SetMM
name
df_cnfld
proof
PUMpC..
Megalodon
-
proofgold address
TMWj9..
creator
36377
PrCmT..
/
dbc6f..
owner
36377
PrCmT..
/
dbc6f..
term root
917a1..