Search for blocks/addresses/...
Proofgold Object
λ x0 .
λ x1 :
ι →
ι → ο
.
lam
2
(
λ x2 .
If_i
(
x2
=
0
)
x0
(
encode_r
x0
x1
)
)
type
ι
→
(
ι
→
ι
→
ο
) →
ι
theory
HotG
name
pack_r
definition
PUSob..
Megalodon
pack_r
proofgold address
TMN3C..
pack_r
creator
4904
Pr6Pc..
/
bbb44..
owner
4904
Pr6Pc..
/
bbb44..
term root
217a7..