Search for blocks/addresses/...
Proofgold Proposition
∀ x0 x1 .
∀ x2 :
ι → ι
.
∀ x3 :
ι → ο
.
∀ x4 .
x0
=
pack_u_p_e
x1
x2
x3
x4
⟶
x1
=
ap
x0
0
type
prop
theory
HotG
name
pack_u_p_e_0_eq
proof
PUNcx..
Megalodon
-
proofgold address
TMNpK..
creator
4913
Pr6Pc..
/
441ae..
owner
4913
Pr6Pc..
/
441ae..
term root
d76de..