Note: The iterators have been added to the Lean standard library and can be used after importing Std.Data.Iterators. This repository is archived now and should not be used.
This repository was archived by the owner on Aug 22, 2025. It is now read-only.
datokrat/lean-iterators
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|