Search for blocks/addresses/...
Proofgold Proposition
∀ x0 x1 .
∀ x2 x3 :
ι →
ι → ο
.
∀ x4 x5 :
ι → ο
.
x0
=
pack_r_r_p_p
x1
x2
x3
x4
x5
⟶
∀ x6 .
x6
∈
x1
⟶
∀ x7 .
x7
∈
x1
⟶
x2
x6
x7
=
decode_r
(
ap
x0
1
)
x6
x7
type
prop
theory
HotG
name
pack_r_r_p_p_1_eq
proof
PUPLb..
Megalodon
-
proofgold address
TMWGJ..
creator
4920
Pr6Pc..
/
fc661..
owner
4920
Pr6Pc..
/
fc661..
term root
e665b..