Search for blocks/addresses/...
Proofgold Proposition
∀ x0 .
struct_r_r_p_e
x0
⟶
x0
=
pack_r_r_p_e
(
ap
x0
0
)
(
decode_r
(
ap
x0
1
)
)
(
decode_r
(
ap
x0
2
)
)
(
decode_p
(
ap
x0
3
)
)
(
ap
x0
4
)
type
prop
theory
HotG
name
struct_r_r_p_e_eta
proof
PUcuC..
Megalodon
-
proofgold address
TMdCp..
creator
4928
Pr6Pc..
/
06a89..
owner
4928
Pr6Pc..
/
06a89..
term root
1ade3..