Search for blocks/addresses/...
Proofgold Proposition
wceq
ccla
(
crab
(
λ x0 .
wa
(
wceq
(
cdm
(
cfv
(
cv
x0
)
club
)
)
(
cpw
(
cfv
(
cv
x0
)
cbs
)
)
)
(
wceq
(
cdm
(
cfv
(
cv
x0
)
cglb
)
)
(
cpw
(
cfv
(
cv
x0
)
cbs
)
)
)
)
(
λ x0 .
cpo
)
)
type
prop
theory
SetMM
name
df_clat
proof
PUe9S..
Megalodon
-
proofgold address
TMH79..
creator
36384
PrCmT..
/
c0874..
owner
36384
PrCmT..
/
c0874..
term root
70c0b..