MathCheck Array Claim Problem 3 / 15

The array `H` is indexed from `0` and has `l` elements. Write a predicate saying that `H` is a palindrome. array_claim H[0...l-1] f_nodes 20 AA i; 0 <= i < l: H[i] = H[l-i-1] <=>

end_of_answer next_URL https://math.tut.fi/mathcheck/array_claim4.html

or