Zulip Chat Archive
Stream: CSLib
Topic: channel events
Notification Bot (Jul 02 2025 at 00:32):
Web-public channel created by Leonardo de Moura. Description:
No description.
swapna iyer (iswapna) (Jul 04 2025 at 21:49):
I saw a message on linkedIn about a community meeting on the 9th. How can I participate and attend future meetings?
Martin Dvořák (Jul 05 2025 at 12:22):
I think the link will be posted here again. Maybe also on Lean FRO website?
Notification Bot (Aug 13 2025 at 07:30):
Johan Commelin changed the description for this channel.
- Old description:
No description.
- New description:
Discussion of the AWS CSLib project
Notification Bot (Aug 13 2025 at 18:49):
Leonardo de Moura changed the description for this channel.
- Old description:
Discussion of the AWS CSLib project
- New description:
Discussion of the CSLib project.
Last updated: Dec 20 2025 at 21:32 UTC