batteries icon indicating copy to clipboard operation
batteries copied to clipboard

Published 20 hours ago • verified publisher icon leanprover-community

feat: add stream combinators

Open fgdorais opened this issue 4 months ago • 1 comments

  • [ ] Depends on #1331

This PR adds basic combinators for stream types.

fgdorais avatar Jul 20 '25 15:07 fgdorais

Mathlib CI status (docs):

leanprover-community-bot avatar Jul 20 '25 16:07 leanprover-community-bot