Search for blocks/addresses/...
Proofgold Object
λ x0 :
ι →
(
ι →
ι → ι
)
→
ι → ι
.
λ x1 .
Descr_ii
(
61278..
x0
x1
)
type
(
ι
→
(
ι
→
ι
→
ι
) →
ι
→
ι
) →
ι
→
ι
→
ι
theory
HF
name
-
definition
PUXbj..
Megalodon
In_rec_ii
proofgold address
TMXzp..
In_rec_ii
creator
1478
PrGxv..
/
499c2..
owner
1478
PrGxv..
/
499c2..
term root
32040..