Loading Transfinite train
Beta
Loading Transfinite train
Beta
Transfinite train
-
Language
- Lean
-
Language Version
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