Proofgold Object

λ x0 : (ι → ι → ι) → ι → ι → ι . c2beb.. (x0 ChurchBoolTru) (x0 ChurchBoolFal)

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

theory
HotG

name
-

definition
PURih..

Megalodon
-

proofgold address
TMXHX..

creator
9308 PrGxv../0b3b8..

owner
9308 PrGxv../0b3b8..

term root
35679..