Search for blocks/addresses/...

Proofgold Term Root Disambiguation

λ x0 x1 x2 x3 x4 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 x15 x16 . ap (ap (lam 4 (λ x17 . If_i (x17 = 0) (lam 4 (λ x18 . If_i (x18 = 0) x0 (If_i (x18 = 1) x1 (If_i (x18 = 2) x2 x3)))) (If_i (x17 = 1) (lam 4 (λ x18 . If_i (x18 = 0) x4 (If_i (x18 = 1) x5 (If_i (x18 = 2) x6 x7)))) (If_i (x17 = 2) (lam 4 (λ x18 . If_i (x18 = 0) x8 (If_i (x18 = 1) x9 (If_i (x18 = 2) x10 x11)))) (lam 4 (λ x18 . If_i (x18 = 0) x12 (If_i (x18 = 1) x13 (If_i (x18 = 2) x14 x15)))))))) x16)
as obj
44bc7..binop_table_4
as prop
-
theory
HF
stx
1efa1..
address
TMMyg..binop_table_4