Zulip Chat Archive
Stream: std4
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):
(-: great name :-)
Last updated: Dec 20 2023 at 11:08 UTC