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.
-
Notifications
You must be signed in to change notification settings - Fork 1
In this repository, I work on the Lean iterator library that is supposed to become part of the standard library.
License
datokrat/lean-iterators
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
In this repository, I work on the Lean iterator library that is supposed to become part of the standard library.
Resources
License
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published