Search for blocks/addresses/...
Proofgold Object
λ x0 :
ι →
(
ι →
(
ι → ο
)
→ ο
)
→
(
ι → ο
)
→ ο
.
λ x1 .
Descr_Vo2
(
59843..
x0
x1
)
type
(
ι
→
(
ι
→
(
ι
→
ο
) →
ο
) →
(
ι
→
ο
) →
ο
) →
ι
→
(
ι
→
ο
) →
ο
theory
HF
name
-
definition
PUXbj..
Megalodon
In_rec_Vo2
proofgold address
TMc7z..
In_rec_Vo2
creator
1478
PrGxv..
/
4f005..
owner
1478
PrGxv..
/
4f005..
term root
ccc25..