Search for blocks/addresses/...
Proofgold Object
λ x0 :
ι →
ι →
ι →
ι →
ι →
ι →
ι →
ι →
ι →
ι →
ι →
ι →
ι →
ι →
ι →
ι →
ι →
ι → ι
.
λ x1 x2 .
x1
∈
u17
⟶
x2
∈
u17
⟶
479e1..
x0
(
x0
x1
)
(
x0
x2
)
=
λ x4 x5 .
x4
type
(
ι
→
ι
→
ι
→
ι
→
ι
→
ι
→
ι
→
ι
→
ι
→
ι
→
ι
→
ι
→
ι
→
ι
→
ι
→
ι
→
ι
→
ι
→
ι
) →
ι
→
ι
→
ο
theory
HotG
name
-
definition
PUY1p..
Megalodon
-
proofgold address
TMGUP..
creator
19193
Pr4zB..
/
5af27..
owner
19193
Pr4zB..
/
5af27..
term root
00cf3..