Search for blocks/addresses/...
Proofgold Object
λ x0 .
∀ x1 :
ι → ο
.
(
∀ x2 .
∀ x3 :
(
ι → ο
)
→ ο
.
∀ x4 :
ι → ι
.
(
∀ x5 .
x5
∈
x2
⟶
x4
x5
∈
x2
)
⟶
x1
(
pack_c_u
x2
x3
x4
)
)
⟶
x1
x0
type
ι
→
ο
theory
HotG
name
struct_c_u
definition
PUgzH..
Megalodon
-
proofgold address
TMbDW..
creator
4938
Pr6Pc..
/
2de7a..
owner
4938
Pr6Pc..
/
2de7a..
term root
06053..