Search for blocks/addresses/...
Proofgold Proposition
∀ x0 x1 .
∀ x2 x3 :
ι → ο
.
x0
=
pack_p_p
x1
x2
x3
⟶
∀ x4 .
x4
∈
x1
⟶
x2
x4
=
decode_p
(
ap
x0
1
)
x4
type
prop
theory
HotG
name
pack_p_p_1_eq
proof
PUZHF..
Megalodon
-
proofgold address
TMKxg..
creator
4914
Pr6Pc..
/
8501e..
owner
4914
Pr6Pc..
/
8501e..
term root
de3c4..