Loading Transfinite train

Beta

Loading Transfinite train

Beta

Transfinite train

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.
Loading description...

Fundamentals
Your output will be shown here