Zulip Chat Archive
Stream: lean4 dev
Topic: stream events
Notification Bot (Sep 01 2022 at 20:44):
Web-public stream created by Sebastian Ullrich. Description:
Questions and discussions about development of Lean 4 itself
Last updated: May 02 2025 at 03:31 UTC