Search for blocks/addresses/...
Proofgold Proposition
wceq
cltp
(
copab
(
λ x0 x1 .
wa
(
wa
(
wcel
(
cv
x0
)
cnp
)
(
wcel
(
cv
x1
)
cnp
)
)
(
wpss
(
cv
x0
)
(
cv
x1
)
)
)
)
type
prop
theory
SetMM
name
df_ltp
proof
PUc2k..
Megalodon
-
proofgold address
TMcTn..
creator
36396
PrCmT..
/
b653c..
owner
36396
PrCmT..
/
b653c..
term root
74503..