Zulip Chat Archive
Stream: batteries
Topic: stream events
Notification Bot (Oct 04 2022 at 19:26):
Web-public stream created by Mario Carneiro. Description:
Questions and discussions about the Lean 4 standard library std4
Martin Dvořák (Oct 04 2022 at 20:49):
(deleted)
Notification Bot (May 07 2024 at 08:16):
Mario Carneiro changed the description for this stream.
- Old description:
Questions and discussions about the Lean 4 standard library std4
- New description:
Questions and discussions about the Lean 4 'batteries included' community standard library batteries
Notification Bot (May 07 2024 at 08:16):
Mario Carneiro renamed stream std4 to batteries.
Last updated: May 02 2025 at 03:31 UTC