Search for blocks/addresses/...

Proofgold Object

λ x0 : ((ι → ι)ι → ι)((ι → ι)ι → ι)((ι → ι)ι → ι)((ι → ι)ι → ι)((ι → ι)ι → ι)((ι → ι)ι → ι)((ι → ι)ι → ι)((ι → ι)ι → ι)(ι → ι)ι → ι . λ x1 : ((ι → ι)ι → ι)((ι → ι)ι → ι)((ι → ι)ι → ι)(ι → ι)ι → ι . λ x2 x3 x4 : (ι → ι)ι → ι . x0 (x1 x2 x3 x4) (x1 x2 x3 x4) (x1 x2 x3 x4) (x1 x2 x3 x4) (x1 x2 x3 x4) (x1 x2 x3 x4) (x1 x3 x4 x2) (x1 x3 x4 x2)
type
(((ιι) → ιι) → ((ιι) → ιι) → ((ιι) → ιι) → ((ιι) → ιι) → ((ιι) → ιι) → ((ιι) → ιι) → ((ιι) → ιι) → CN (ιι)) → (((ιι) → ιι) → ((ιι) → ιι) → CN (ιι)) → ((ιι) → ιι) → ((ιι) → ιι) → CN (ιι)
theory
HotG
name
ChurchNums_8x3_to_3_lt6_id_ge6_rot2
definition
PUVpr..
Megalodon
-
proofgold address
TMG21..
creator
18372 Pr4zB../4784a..
owner
18372 Pr4zB../4784a..
term root
953e3..