Zulip Chat Archive
Stream: Lean for the curious mathematician 2020
Topics:
- Zoom (48 messages, latest: May 15 2024 at 03:43)
- Dependent Type Theory Section (3 messages, latest: Jan 08 2022 at 21:02)
- Lean for the Curious Mathematician YouTube Examples (14 messages, latest: Jul 10 2021 at 19:03)
- (no topic) (1 message, latest: Feb 04 2021 at 09:49)
- Creating projects in lean (2 messages, latest: Nov 09 2020 at 10:28)
- Why use propositions as types? (3 messages, latest: Nov 08 2020 at 23:23)
- having trouble with mathlib in windows (4 messages, latest: Nov 03 2020 at 01:31)
- Workshops (6 messages, latest: Oct 15 2020 at 20:14)
- Thursday afternoon (20 messages, latest: Jul 20 2020 at 12:14)
- (Deterministic) timeout at an exercise (32 messages, latest: Jul 18 2020 at 17:05)
- Previous discussions on Lean and HoTT (57 messages, latest: Jul 18 2020 at 15:49)
- pair/triple programming (26 messages, latest: Jul 17 2020 at 16:44)
- Friday afternoon (13 messages, latest: Jul 17 2020 at 13:28)
- Participants List (5 messages, latest: Jul 17 2020 at 08:10)
- Friday morning (2 messages, latest: Jul 17 2020 at 07:58)
- Monday afternoon: metaprogramming session (102 messages, latest: Jul 16 2020 at 15:16)
- installation issue (46 messages, latest: Jul 16 2020 at 12:51)
- Thursday morning (2 messages, latest: Jul 16 2020 at 07:59)
- topological spaces - generated topology (7 messages, latest: Jul 16 2020 at 06:28)
- Topological spaces doubt (8 messages, latest: Jul 16 2020 at 05:31)
- Video uploads (25 messages, latest: Jul 15 2020 at 17:36)
ring.sub_mulmissing from algebraic_heirarchy solutions (5 messages, latest: Jul 15 2020 at 17:35)- surprisingly fiddly (9 messages, latest: Jul 15 2020 at 17:21)
- Totally lost (9 messages, latest: Jul 15 2020 at 15:20)
- Wednesday afternoon (2 messages, latest: Jul 15 2020 at 10:55)
- Should
nat.pow_left_injexist? (7 messages, latest: Jul 15 2020 at 10:55) - Wednesday morning (8 messages, latest: Jul 15 2020 at 08:36)
- git help (6 messages, latest: Jul 15 2020 at 08:20)
- Tuesday afternoon (53 messages, latest: Jul 15 2020 at 00:35)
- Wednesday jumping about (1 message, latest: Jul 14 2020 at 18:47)
- Tuesday morning (1 message, latest: Jul 14 2020 at 07:53)
- install session (204 messages, latest: Jul 14 2020 at 07:02)
- Mon afternoon: natural number game (58 messages, latest: Jul 13 2020 at 18:41)
- recordings (1 message, latest: Jul 13 2020 at 17:40)
- schedule (145 messages, latest: Jul 13 2020 at 05:11)
- tutorials (81 messages, latest: Jul 13 2020 at 05:08)
- aim (126 messages, latest: Jun 29 2020 at 10:09)
- set finset etc (3 messages, latest: Jun 26 2020 at 20:34)
- website (34 messages, latest: Jun 26 2020 at 14:26)
- announcing move to web? (11 messages, latest: Jun 26 2020 at 09:29)
- stream events (23 messages, latest: May 17 2020 at 14:07)
- audience (39 messages, latest: May 13 2020 at 18:47)
Last updated: Dec 20 2025 at 21:32 UTC