Search for blocks/addresses/...
Proofgold Proposition
∀ x0 x1 .
∀ x2 x3 :
ι →
ι → ι
.
∀ x4 :
ι → ι
.
∀ x5 .
x0
=
pack_b_b_u_e
x1
x2
x3
x4
x5
⟶
∀ x6 .
x6
∈
x1
⟶
∀ x7 .
x7
∈
x1
⟶
x2
x6
x7
=
decode_b
(
ap
x0
1
)
x6
x7
type
prop
theory
HotG
name
pack_b_b_u_e_1_eq
proof
PUWyE..
Megalodon
-
proofgold address
TMbrN..
creator
4919
Pr6Pc..
/
0d3ff..
owner
4919
Pr6Pc..
/
0d3ff..
term root
feebf..