Search for blocks/addresses/...

Proofgold Object

λ x0 : ((ι → ι)ι → ι)((ι → ι)ι → ι)((ι → ι)ι → ι)(ι → ι)ι → ι . λ x1 : ((ι → ι)ι → ι)((ι → ι)ι → ι)((ι → ι)ι → ι)((ι → ι)ι → ι)((ι → ι)ι → ι)((ι → ι)ι → ι)((ι → ι)ι → ι)((ι → ι)ι → ι)(ι → ι)ι → ι . λ x2 : ((ι → ι)ι → ι)((ι → ι)ι → ι)((ι → ι)ι → ι)(ι → ι)ι → ι . λ x3 : ((ι → ι)ι → ι)((ι → ι)ι → ι)((ι → ι)ι → ι)((ι → ι)ι → ι)((ι → ι)ι → ι)((ι → ι)ι → ι)((ι → ι)ι → ι)((ι → ι)ι → ι)(ι → ι)ι → ι . and (x0 = x2) (x1 = x3)
type
(((ιι) → ιι) → ((ιι) → ιι) → CN (ιι)) → (((ιι) → ιι) → ((ιι) → ιι) → ((ιι) → ιι) → ((ιι) → ιι) → ((ιι) → ιι) → ((ιι) → ιι) → ((ιι) → ιι) → CN (ιι)) → (((ιι) → ιι) → ((ιι) → ιι) → CN (ιι)) → (((ιι) → ιι) → ((ιι) → ιι) → ((ιι) → ιι) → ((ιι) → ιι) → ((ιι) → ιι) → ((ιι) → ιι) → ((ιι) → ιι) → CN (ιι)) → ο
theory
HotG
name
ChurchNums_3x8_eq
definition
PUVpr..
Megalodon
-
proofgold address
TMZY4..
creator
18372 Pr4zB../754c9..
owner
18372 Pr4zB../754c9..
term root
12a33..