Proofgold Object

λ x0 x1 . ∀ x2 : ι → ι → ο . (∀ x3 . ∀ x4 : ι → ι . ∀ x5 . x2 (bcddf.. x3 x4) (x4 x5)) ⟶ x2 x0 x1

type
ι → ι → ο

theory
HOAS

name
-

definition
PULLz..

Megalodon
-

proofgold address
TMM4N..

creator
1880 PrGxv../15716..

owner
1880 PrGxv../15716..

term root
0e0f1..