Zulip Chat Archive

Stream: Lean Together 2021

Lean Together 2022? (1 message, latest: Dec 12 2021 at 13:18)
LeanStep (Jason + Jesse's talk) (45 messages, latest: Jan 14 2021 at 23:04)
Thursday teaching panel (64 messages, latest: Jan 08 2021 at 11:50)
slides (32 messages, latest: Jan 08 2021 at 09:29)
thanks all! (3 messages, latest: Jan 07 2021 at 21:38)
social time (60 messages, latest: Jan 07 2021 at 20:18)
YouTube streaming (40 messages, latest: Jan 07 2021 at 18:31)
Thursday schedule (2 messages, latest: Jan 07 2021 at 17:05)
Tactics (25 messages, latest: Jan 07 2021 at 13:50)
meeting links (14 messages, latest: Jan 07 2021 at 12:47)
On Flattening (10 messages, latest: Jan 07 2021 at 07:47)
On generating "free" information (1 message, latest: Jan 06 2021 at 17:36)
Automatically generalising theorems using typeclasses (11 messages, latest: Jan 06 2021 at 17:24)
Vaibhav Karve prerecorded talks (8 messages, latest: Jan 06 2021 at 14:03)
the sphere (Heather's talk) (17 messages, latest: Jan 06 2021 at 03:46)
Lean 4: An overview (Leo's talk) (10 messages, latest: Jan 05 2021 at 16:56)
MM0/MM1 talk (3 messages, latest: Jan 05 2021 at 16:05)
porting mathlib to Lean 4 (4 messages, latest: Jan 05 2021 at 09:33)
MSR internship ad (1 message, latest: Jan 04 2021 at 20:47)
Measure theory (Floris' talk) (3 messages, latest: Jan 04 2021 at 16:04)
Widgets (Ed's talk) (4 messages, latest: Jan 04 2021 at 15:41)
talk recordings (2 messages, latest: Jan 03 2021 at 19:00)
stream events (6 messages, latest: Jan 02 2021 at 19:34)

Last updated: Dec 20 2025 at 21:32 UTC