Search for blocks/addresses/...

Proofgold Object

λ x0 : (ι → ι) → ο . λ x1 : (ι → ι) → ι . prim0 (λ x2 . ∀ x3 : ι → ι . x0 x3x3 x2 = x1 x3)
type
((ιι) → ο) → ((ιι) → ι) → ι
theory
HoTg
name
-
definition
PUdeW..
Megalodon
-
proofgold address
TMMwq..
creator
1652 PrGxv../2eb03..
owner
1652 PrGxv../2eb03..
term root
8c205..