Proofgold Object

λ x0 . λ x1 : ι → ο . 0ac37.. (1216a.. x0 x1) (a4c2a.. x0 (λ x2 . not (x1 x2)) (λ x2 . 15418.. x2 (91630.. (4ae4a.. 4a7ef..))))

type
ι → (ι → ο) → ι

theory
HoTg

name
-

definition
PURFE..

Megalodon
-

proofgold address
TMaSE..

creator
2815 PrGxv../a640c..

owner
2815 PrGxv../a640c..

term root
e2cef..