Zulip Chat Archive
Stream: Lean Together 2024
Topics:
- Using lean-sys crate for Rust FFI (9 messages, latest: Jun 03 2024 at 23:14)
- Leaff: a Lean library diff tool - Alex Best (37 messages, latest: Apr 25 2024 at 07:52)
- Towards LLMs as Copilots - Kaiyu Yang (62 messages, latest: Mar 17 2024 at 03:24)
- Formalization of Grassmannians (54 messages, latest: Mar 05 2024 at 04:57)
- A Pretty Expressive Printer - Sorawee Porncharoenwase (60 messages, latest: Feb 18 2024 at 20:26)
- Duper - Josh Clune (17 messages, latest: Jan 25 2024 at 15:19)
- Link from community page (5 messages, latest: Jan 22 2024 at 19:00)
- Lean-auto - Yicheng Qian (7 messages, latest: Jan 16 2024 at 02:41)
- workshop coordinates (21 messages, latest: Jan 14 2024 at 02:50)
- CvxLean: modeling convex optimization problems in Lean (11 messages, latest: Jan 12 2024 at 18:19)
- Are We Fast Yet - Sebastian Ullrich (60 messages, latest: Jan 12 2024 at 18:00)
- Formalizing local fields in Lean - María Inés de Frutos F… (10 messages, latest: Jan 12 2024 at 16:52)
- Lean FRO Meeting - Leonardo de Moura (4 messages, latest: Jan 12 2024 at 16:11)
- FLT-regular (17 messages, latest: Jan 11 2024 at 19:09)
- Social Hour meeting notes (2 messages, latest: Jan 11 2024 at 17:52)
- pre-recorded talks (6 messages, latest: Jan 11 2024 at 16:45)
- Documentation as a DSL - David Thrane Christiansen (26 messages, latest: Jan 11 2024 at 16:42)
- QuickChick - Leonidas Lampropoulos (11 messages, latest: Jan 11 2024 at 16:28)
- Simplicial homotopies - Jack McKoen (2 messages, latest: Jan 11 2024 at 05:52)
- Automatic Differentiation - Tomas Skrivan (49 messages, latest: Jan 11 2024 at 00:58)
- Overview of homology in mathlib - Joël Riou (1 message, latest: Jan 10 2024 at 15:52)
- Probability in the form. of P. Freiman Ruzsa - Rémy Degenne (7 messages, latest: Jan 10 2024 at 04:58)
- Cedar - Emina Torlak (5 messages, latest: Jan 09 2024 at 19:00)
- Form. of class num. comp. & Mordell eqns - NIrvana Coppola (29 messages, latest: Jan 09 2024 at 17:30)
- Patrick's talk (4 messages, latest: Jan 09 2024 at 14:14)
- Zoom etiquette (1 message, latest: Jan 09 2024 at 13:39)
- In Gather… (2 messages, latest: Jan 09 2024 at 10:26)
- work in progress (4 messages, latest: Jan 08 2024 at 19:37)
- stream events (1 message, latest: Jan 08 2024 at 16:34)
Last updated: Feb 28 2026 at 14:05 UTC