Search for blocks/addresses/...

Proofgold Object

λ x0 : ((ι → ι)ι → ι)((ι → ι)ι → ι)((ι → ι)ι → ι)((ι → ι)ι → ι)((ι → ι)ι → ι)((ι → ι)ι → ι)((ι → ι)ι → ι)((ι → ι)ι → ι)(ι → ι)ι → ι . λ x1 x2 x3 x4 x5 x6 x7 x8 : (ι → ι)ι → ι . x0 x5 x6 x7 x8 x1 x2 x3 x4
type
(((ιι) → ιι) → ((ιι) → ιι) → ((ιι) → ιι) → ((ιι) → ιι) → ((ιι) → ιι) → ((ιι) → ιι) → ((ιι) → ιι) → CN (ιι)) → ((ιι) → ιι) → ((ιι) → ιι) → ((ιι) → ιι) → ((ιι) → ιι) → ((ιι) → ιι) → ((ιι) → ιι) → ((ιι) → ιι) → CN (ιι)
theory
HotG
name
ChurchNums_8_perm_4_5_6_7_0_1_2_3
definition
PUVpr..
Megalodon
-
proofgold address
TMKf3..
creator
18372 Pr4zB../70d95..
owner
18372 Pr4zB../70d95..
term root
4ddf9..