Search for blocks/addresses/...
Proofgold Object
λ x0 x1 .
09072..
(
7b9f3..
(
λ x2 .
λ x3 :
ι → ο
.
and
(
ordinal
x2
)
(
prim1
(
09072..
x2
x3
)
x0
)
)
(
λ x2 .
λ x3 :
ι → ο
.
and
(
ordinal
x2
)
(
prim1
(
09072..
x2
x3
)
x1
)
)
)
(
ce2d5..
(
λ x2 .
λ x3 :
ι → ο
.
and
(
ordinal
x2
)
(
prim1
(
09072..
x2
x3
)
x0
)
)
(
λ x2 .
λ x3 :
ι → ο
.
and
(
ordinal
x2
)
(
prim1
(
09072..
x2
x3
)
x1
)
)
)
type
ι
→
ι
→
ι
theory
HoTg
name
-
definition
PURFE..
Megalodon
-
proofgold address
TMLqa..
creator
2815
PrGxv..
/
07382..
owner
2815
PrGxv..
/
07382..
term root
3fe3f..