Search for blocks/addresses/...

Proofgold Object

λ x0 : ((((ι → ο) → ο) → ο) → ο) → ο . λ x1 : ((ι → ο) → ο) → ο . ∀ x2 : (((ι → ο) → ο) → ο) → ο . x0 x2x2 x1
type
(((((ιο) → ο) → ο) → ο) → ο) → (((ιο) → ο) → ο) → ο
theory
HF
name
Descr_Vo4
definition
PUXbj..
Megalodon
Descr_Vo4
proofgold address
TMUbN..Descr_Vo4
creator
1478 PrGxv../cc3bd..
owner
1478 PrGxv../cc3bd..
term root
8b81a..