Search for blocks/addresses/...
Proofgold Proposition
∀ x0 x1 .
∀ x2 x3 :
ι →
ι → ι
.
∀ x4 x5 :
ι → ι
.
x0
=
pack_b_b_u_u
x1
x2
x3
x4
x5
⟶
∀ x6 .
x6
∈
x1
⟶
∀ x7 .
x7
∈
x1
⟶
x3
x6
x7
=
decode_b
(
ap
x0
2
)
x6
x7
type
prop
theory
HotG
name
pack_b_b_u_u_2_eq
proof
PURv8..
Megalodon
-
proofgold address
TMPGL..
creator
4933
Pr6Pc..
/
d9984..
owner
4933
Pr6Pc..
/
d9984..
term root
a54b8..