Search for blocks/addresses/...
Proofgold Proposition
wceq
cldlf
(
ccref
(
cab
(
λ x0 .
wbr
(
cv
x0
)
com
cdom
)
)
)
type
prop
theory
SetMM
name
df_ldlf
proof
PUcVW..
Megalodon
-
proofgold address
TMQwX..
creator
36383
PrCmT..
/
97d77..
owner
36383
PrCmT..
/
97d77..
term root
d800a..