In this repository, I work on the Lean iterator library that is supposed to become part of the standard library.