Search for blocks/addresses/...

Proofgold Object

λ x0 : ((ι → ι)ι → ι)((ι → ι)ι → ι)((ι → ι)ι → ι)((ι → ι)ι → ι)((ι → ι)ι → ι)((ι → ι)ι → ι)((ι → ι)ι → ι)((ι → ι)ι → ι)(ι → ι)ι → ι . λ x1 x2 x3 x4 x5 x6 x7 x8 : (ι → ι)ι → ι . x0 x6 x7 x8 x1 x2 x3 x4 x5
type
(((ιι) → ιι) → ((ιι) → ιι) → ((ιι) → ιι) → ((ιι) → ιι) → ((ιι) → ιι) → ((ιι) → ιι) → ((ιι) → ιι) → CN (ιι)) → ((ιι) → ιι) → ((ιι) → ιι) → ((ιι) → ιι) → ((ιι) → ιι) → ((ιι) → ιι) → ((ιι) → ιι) → ((ιι) → ιι) → CN (ιι)
theory
HotG
name
ChurchNums_8_perm_5_6_7_0_1_2_3_4
definition
PUVpr..
Megalodon
-
proofgold address
TMPA5..
creator
18372 Pr4zB../bbb57..
owner
18372 Pr4zB../bbb57..
term root
c5e2a..