Proofgold Object

λ x0 : ι → ι → ο . λ x1 x2 x3 x4 . or (x0 x3 x4) (and (x3 = x1) (x4 = x2))

type
(ι → ι → ο) → ι → ι → ι → ι → ο

theory
HOAS

name
-

definition
PULLz..

Megalodon
-

proofgold address
TMPRC..

creator
1880 PrGxv../414be..

owner
1880 PrGxv../414be..

term root
d07ba..