Search for blocks/addresses/...
Proofgold Object
λ x0 .
pack_b_b_e_e
(
field0
x0
)
(
field1b
x0
)
(
field2b
x0
)
(
field4
x0
)
(
RealsStruct_one
x0
)
type
ι
→
ι
theory
HotG
name
Field_of_RealsStruct
definition
PUSkV..
Megalodon
Field_of_RealsStruct
proofgold address
TMS4L..
Field_of_RealsStruct
creator
5784
Pr6Pc..
/
89196..
owner
5784
Pr6Pc..
/
89196..
term root
e1df2..