Search for blocks/addresses/...
Proofgold Proposition
∀ x0 .
struct_r_r_e_e
x0
⟶
x0
=
pack_r_r_e_e
(
ap
x0
0
)
(
decode_r
(
ap
x0
1
)
)
(
decode_r
(
ap
x0
2
)
)
(
ap
x0
3
)
(
ap
x0
4
)
type
prop
theory
HotG
name
struct_r_r_e_e_eta
proof
PUcuC..
Megalodon
-
proofgold address
TMM2o..
creator
4928
Pr6Pc..
/
66653..
owner
4928
Pr6Pc..
/
66653..
term root
4c18b..