Zulip Chat Archive

Stream: lean4

Topic: stream events

Notification Bot (Jan 05 2021 at 11:49):

Stream created by Sebastian Ullrich.

Notification Bot (Mar 14 2022 at 20:01):

Mario Carneiro changed the access permissions for this stream from Public to Web-public.

Notification Bot (Aug 22 2023 at 11:26):

Scott Morrison changed the description for this stream.

  • Old description:

Questions & discussion around version 4 of Lean. Community Guidelines

  • New description:

Questions & discussion around the programming language Lean. Community Guidelines

Last updated: Dec 20 2023 at 11:08 UTC