List of Lean Kata to Update

Lean v3.18.4 with mathlib 78655b6 was added.

The following kata are not compatible.

1. (5^5^5^5^5-1)/(5^5^(5^5^5-1)-1) isn't prime
2. A random fact about filtering
3. a^2=b^3+11
4. Odd + Even = Odd? Even * Anything = Even? Prove it!
5. Prove that any Inverse of an Involutive Function is itself
6. Verified Horner's method