Search for blocks/addresses/...
Proofgold Object
λ x0 .
λ x1 :
ι → ο
.
λ x2 .
prim0
(
λ x3 .
and
(
x1
x3
)
(
x2
=
pair_tag
x0
(
CD_proj0
x0
x1
x2
)
x3
)
)
type
ι
→
(
ι
→
ο
) →
ι
→
ι
theory
HotG
name
CD_proj1
definition
PUYQJ..
Megalodon
CD_proj1
proofgold address
TMQjp..
CD_proj1
creator
28412
PrQUS..
/
4c9f3..
owner
28412
PrQUS..
/
4c9f3..
term root
934ee..