Proofgold Object

λ x0 : ι → ι → ο . 8e91b.. (051a7.. (λ x1 x2 . or (x0 x1 x2) (1ca3e.. x1 x2)))

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

theory
HOAS

name
-

definition
PULLz..

Megalodon
-

proofgold address
TMGDs..

creator
1880 PrGxv../fe07f..

owner
1880 PrGxv../fe07f..

term root
735be..