Search for blocks/addresses/...
Proofgold Object
λ x0 .
λ x1 :
ι →
ι → ι
.
lam
2
(
λ x2 .
If_i
(
x2
=
0
)
x0
(
encode_b
x0
x1
)
)
type
ι
→
CT2
ι
theory
HotG
name
pack_b
definition
PUSob..
Megalodon
pack_b
proofgold address
TMYH1..
pack_b
creator
4904
Pr6Pc..
/
f4d44..
owner
4904
Pr6Pc..
/
f4d44..
term root
85538..