Proofgold Object

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

type
ι → ι → ο

theory
HOAS

name
-

definition
PULLz..

Megalodon
-

proofgold address
TMR5J..

creator
1880 PrGxv../51c0b..

owner
1880 PrGxv../51c0b..

term root
993b1..