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. Finite group action
5. Limit of the arithmetic mean
6. Linear projection
7. Odd + Even = Odd? Even * Anything = Even? Prove it!
8. Prove that any Inverse of an Involutive Function is itself
9. Pullbacks and pushouts
10. Pushouts and epimorphisms
11. Verified Horner's method