Search for blocks/addresses/...

Proofgold Object

λ x0 : (((ι → ο) → ο) → ο) → ο . λ x1 : (ι → ο) → ο . ∀ x2 : ((ι → ο) → ο) → ο . x0 x2x2 x1
type
((((ιο) → ο) → ο) → ο) → ((ιο) → ο) → ο
theory
HoTg
name
Descr_Vo3
definition
PUhdM..
Megalodon
-
proofgold address
TMPC5..
creator
2717 PrGxv../2da7f..
owner
2717 PrGxv../2da7f..
term root
f25ee..