List of Lean Kata to Update

The following kata are not compatible with Lean v3.20.0 with mathlib da66bb81bf0466335bae82077f0c335dfe53aeb3:

1. (5^5^5^5^5-1)/(5^5^(5^5^5-1)-1) isn't prime
2. 0.999... = 1? Prove it!
3. Easy Fermat
4. Evaluating the type safety of a toy language
5. Find the number of bits and the bits with proof
6. Generalised Pell x^2-37y^2=3
7. If a^b + 1 is prime, then a is even
8. If a^b + 1 is prime, then b is a power of two
9. If N divides 2^N - 1, then N is zero or one
10. Incidence Geometry #3
11. Index 2 subgroup is normal
12. Limit of the arithmetic mean
13. Order-preserving bijection from rationals to non-zero rationals
14. Power Towers in a group
15. Program Verification #4: Exponentiation by squaring
16. Prove that a ^ 4 - b ^ 4 = (a - b) * (a + b) * (a ^ 2 + b ^ 2), using nats
17. Prove that this sequence contains only integers
18. Squared triangular numbers
19. Squareful segments
20. This square is perfect
21. Verified Horner's method