search

leanprover-community / batteries

The "batteries included" extended library for the Lean programming language and theorem prover
Apache License 2.0
232 stars 95 forks source link

chore: deprecate LazyList #884

Closed semorrison closed 1 month ago

semorrison commented 1 month ago

Per https://github.com/leanprover-community/batteries/pull/835#issuecomment-2221717519