Reservoir
No results found
All Packages
itertools
A Lean 4 library for iterators.
Readme
Versions (1)
Displaying
1-1
of
1
versions of
itertools
Sort by
Date
Not a part of any version track.
d4275eb
a year ago
Released on December 10, 2023 at 9:24:19PM
Commit d4275eb builds on its old leanprover/lean4:v4.3.0
v4.3.0
1
20