Kata Training

Caution: This kata does not currently have any known supported versions for Lean. It may not be completable due to dependencies on out-dated libraries/language versions.