Proofgold Object

λ x0 . λ x1 : ι → ι . λ x2 : ι → ι → ο . {x3 ∈ lam x0 x1|x2 (ap x3 0) (ap x3 1)}

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

theory
HotG

name
Sep2

definition
PUdQg..

Megalodon
Sep2

proofgold address
TMYXW..^Sep2

creator
4899 Pr6Pc../189d4..

owner
4899 Pr6Pc../189d4..

term root
b86d4..