Proofgold Object

λ x0 . λ x1 : ι → ι . prim0 6915e.. (prim0 x0 (prim1 x1))

type
ι → (ι → ι) → ι

theory
HOAS

name
-

definition
PULLz..

Megalodon
-

proofgold address
TMPxC..

creator
1880 PrGxv../11fcf..

owner
1880 PrGxv../11fcf..

term root
47c65..