List of Lean Kata to Update - codewars/content-issues GitHub Wiki The following kata are not compatible with Lean v3.39.1 with mathlib fb41da978: Dual Order Also Well Order implies Finite Powerset monad (Part 1) Powerset monad (Part 2)