Search for blocks/addresses/...

Proofgold Object

λ x0 : ι → (ι → (((ι → ο) → ο) → ο) → ο)(((ι → ο) → ο) → ο) → ο . λ x1 . Descr_Vo4 (77406.. x0 x1)
type
(ι(ι(((ιο) → ο) → ο) → ο) → (((ιο) → ο) → ο) → ο) → ι(((ιο) → ο) → ο) → ο
theory
HF
name
-
definition
PUXbj..
Megalodon
In_rec_Vo4
proofgold address
TMHHt..In_rec_Vo4
creator
1478 PrGxv../a0f42..
owner
1478 PrGxv../a0f42..
term root
9ed88..