Search for blocks/addresses/...
Proofgold Object
λ x0 x1 :
ι →
(
ι → ο
)
→ ο
.
∀ x2 .
ordinal
x2
⟶
∀ x3 :
ι → ο
.
x0
x2
x3
⟶
∀ x4 .
ordinal
x4
⟶
∀ x5 :
ι → ο
.
x1
x4
x5
⟶
PNoLt
x2
x3
x4
x5
type
(
ι
→
(
ι
→
ο
) →
ο
) →
(
ι
→
(
ι
→
ο
) →
ο
) →
ο
theory
HF
name
-
definition
PUQ8e..
Megalodon
PNoLt_pwise
proofgold address
TMV25..
PNoLt_pwise
creator
2357
PrGxv..
/
1aec4..
owner
2357
PrGxv..
/
1aec4..
term root
319de..