Search for blocks/addresses/...
Proofgold Proposition
wceq
cmade
(
crecs
(
cmpt
(
λ x0 .
cvv
)
(
λ x0 .
cima
cscut
(
cxp
(
cpw
(
cuni
(
crn
(
cv
x0
)
)
)
)
(
cpw
(
cuni
(
crn
(
cv
x0
)
)
)
)
)
)
)
)
type
prop
theory
SetMM
name
df_made
proof
PUboD..
Megalodon
-
proofgold address
TMJPP..
creator
36378
PrCmT..
/
7009a..
owner
36378
PrCmT..
/
7009a..
term root
724f3..