Zulip Chat Archive
Stream: Lean Together 2019
Topics:
- comments highlighting (3 messages, latest: Jul 10 2020 at 00:05)
- Teaching Lean to mathematicians (69 messages, latest: Jan 18 2019 at 23:44)
- Documentation session (2 messages, latest: Jan 16 2019 at 11:41)
- analysis session (28 messages, latest: Jan 16 2019 at 06:53)
- Unification hints paper (31 messages, latest: Jan 15 2019 at 13:26)
- Videos (30 messages, latest: Jan 14 2019 at 23:27)
- Guinea pigs wanted! (10 messages, latest: Jan 14 2019 at 15:05)
- So Long, and Thanks for All the Fish (14 messages, latest: Jan 14 2019 at 15:04)
- Slides for perfectoid talk (1 message, latest: Jan 11 2019 at 17:05)
- references for surface diagrams? (1 message, latest: Jan 11 2019 at 13:19)
- elan packages for linux distributions (1 message, latest: Jan 11 2019 at 10:16)
- Zulip (2 messages, latest: Jan 11 2019 at 10:14)
- Metaprogramming Tutorial (1 message, latest: Jan 10 2019 at 16:58)
- Embedded Domain Specific Proof Languages (1 message, latest: Jan 10 2019 at 16:57)
- small scale reflection (3 messages, latest: Jan 10 2019 at 09:15)
- broken link (2 messages, latest: Jan 10 2019 at 08:22)
- Discussions today (1 message, latest: Jan 09 2019 at 14:00)
- derivative API (10 messages, latest: Jan 09 2019 at 10:47)
- Topic sessions (12 messages, latest: Jan 09 2019 at 10:46)
- Workshops (3 messages, latest: Jan 09 2019 at 10:23)
- Slides for regression proving talk (1 message, latest: Jan 09 2019 at 10:08)
- Slides for Flypitch talk (3 messages, latest: Jan 08 2019 at 11:01)
- Questions about Lean 4 (20 messages, latest: Jan 07 2019 at 21:38)
- modal logic & temporal type theory (2 messages, latest: Jan 07 2019 at 21:35)
- slides for datatypes talk? (3 messages, latest: Jan 07 2019 at 15:31)
- Slides for Lean 4 talk (1 message, latest: Jan 07 2019 at 14:09)
- hello (3 messages, latest: Jan 07 2019 at 10:31)
- Commute from Amsterdam Forest Hotel to the VU (76 messages, latest: Jan 06 2019 at 21:52)
- Dinner on Sunday (8 messages, latest: Jan 06 2019 at 19:42)
- Saturday dinner (6 messages, latest: Jan 05 2019 at 18:25)
- time/timezone (5 messages, latest: Jan 05 2019 at 14:06)
- Further mathlib maintainers (5 messages, latest: Jan 05 2019 at 11:51)
Last updated: Dec 20 2025 at 21:32 UTC