Zulip Chat Archive

Stream: Rutgers Lean seminar

Fall 23 project: Complex analysis (4 messages, latest: Oct 04 2023 at 20:46)
Vincent Beffara project (1 message, latest: Oct 04 2023 at 17:51)
Euclidean diagrams (1 message, latest: Oct 04 2023 at 16:41)
Fall 23 project: Convex polygons (3 messages, latest: Sep 28 2023 at 06:32)
Fall 23 project: IMO geometry (2 messages, latest: Sep 27 2023 at 18:30)
Work on convex polygons (8 messages, latest: May 31 2023 at 13:38)
stream events (3 messages, latest: May 30 2023 at 18:30)
testing testing (4 messages, latest: May 29 2023 at 15:16)

Last updated: Feb 28 2026 at 14:05 UTC