Search for blocks/addresses/...
Proofgold Proposition
wceq
casin
(
cmpt
(
λ x0 .
cc
)
(
λ x0 .
co
(
cneg
ci
)
(
cfv
(
co
(
co
ci
(
cv
x0
)
cmul
)
(
cfv
(
co
c1
(
co
(
cv
x0
)
c2
cexp
)
cmin
)
csqrt
)
caddc
)
clog
)
cmul
)
)
type
prop
theory
SetMM
name
df_asin
proof
PUMn8..
Megalodon
-
proofgold address
TMXEz..
creator
36377
PrCmT..
/
979c2..
owner
36377
PrCmT..
/
979c2..
term root
bbb62..