Search for blocks/addresses/...
Proofgold Proposition
∀ x0 x1 .
∀ x2 x3 :
ι →
ι → ι
.
∀ x4 x5 :
ι → ο
.
x0
=
pack_b_b_p_p
x1
x2
x3
x4
x5
⟶
∀ x6 .
x6
∈
x1
⟶
x5
x6
=
decode_p
(
ap
x0
4
)
x6
type
prop
theory
HotG
name
pack_b_b_p_p_4_eq
proof
PUU8R..
Megalodon
-
proofgold address
TMadv..
creator
4943
Pr6Pc..
/
beb50..
owner
4943
Pr6Pc..
/
beb50..
term root
55bd0..