Proofgold Object

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

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

theory
HotG

name
-

definition
PURih..

Megalodon
-

proofgold address
TMaQQ..

creator
9308 PrGxv../e0534..

owner
9308 PrGxv../e0534..

term root
91aba..