Search for blocks/addresses/...
Proofgold Object
λ x0 x1 .
and
(
and
(
prim1
x0
a470d..
)
(
prim1
x1
a470d..
)
)
(
∀ x2 .
prim1
x2
(
1ad11..
48ef8..
(
4ae4a..
4a7ef..
)
)
⟶
36be8..
x2
x0
⟶
36be8..
x2
x1
⟶
x2
=
4ae4a..
4a7ef..
)
type
ι
→
ι
→
ο
theory
HoTg
name
-
definition
PUUTm..
Megalodon
-
proofgold address
TMZuY..
creator
4786
PrGxv..
/
3ae79..
owner
4786
PrGxv..
/
3ae79..
term root
50ca9..