Zulip Chat Archive
Stream: Lean Together 2025
Topics:
- Leni Aniva: Pantograph (18 messages, latest: Apr 26 2025 at 23:17)
- Xavier Généreux and Jannis Limperg: Efficient Forward Reason (8 messages, latest: Feb 28 2025 at 12:55)
- Siddhartha Gadgil: Real world Autoformalization (31 messages, latest: Feb 06 2025 at 12:10)
- Videos of talks (33 messages, latest: Jan 23 2025 at 20:09)
- Marcus Rossel: Egg: An Equality Saturation Tactic in Lean (31 messages, latest: Jan 22 2025 at 12:17)
- Joseph Tooby-Smith: Physics and Lean (27 messages, latest: Jan 21 2025 at 05:54)
- Jason Rute: The last mile: How do we make AI theorem pr… (20 messages, latest: Jan 21 2025 at 02:34)
- Floris van Doorn: Progress report on the Carleson Project (16 messages, latest: Jan 20 2025 at 10:46)
- Michael Rothgang: Scaling mathlib (13 messages, latest: Jan 20 2025 at 08:15)
- Hannah Fechtner: Braid Groups in Lean (2 messages, latest: Jan 20 2025 at 07:21)
- Jack McKoen: Toward functor quasi-categories in Lean (15 messages, latest: Jan 20 2025 at 04:28)
- John Tristan: Verified Foundations for Differential Privacy (4 messages, latest: Jan 18 2025 at 15:32)
- Alex Kontorovich: Educational and research experiments with (1 message, latest: Jan 18 2025 at 10:52)
- Christian Merten: Formalizing the Bruhat-Tits tree (1 message, latest: Jan 18 2025 at 10:51)
- Yuma Mizuno: Metaprogramming on monoidal categories (2 messages, latest: Jan 18 2025 at 10:47)
- thank you organizers and speakers! (1 message, latest: Jan 17 2025 at 20:54)
- David Kurniadi Angdinata: Division polynomials of elliptic c (9 messages, latest: Jan 17 2025 at 19:17)
- Emily Riehl: The infty-cosmos project (18 messages, latest: Jan 17 2025 at 16:55)
- Henrik Böving: Automated Bit-Level Reasoning in Lean 4 (19 messages, latest: Jan 17 2025 at 11:21)
- Zoom link for talks (12 messages, latest: Jan 17 2025 at 00:34)
- Abdalrhman Mohamed: Lean-SMT (15 messages, latest: Jan 17 2025 at 00:25)
- Joseph Rotella: Programming with Dependently Typed Tables (7 messages, latest: Jan 16 2025 at 20:56)
- David Renshaw: tryAtEachStep (28 messages, latest: Jan 16 2025 at 13:44)
- Lean FRO Meeting (33 messages, latest: Jan 16 2025 at 10:44)
- Violeta Hernández Palacios: A Nimble Introduction to Nimbers (40 messages, latest: Jan 16 2025 at 01:06)
- Lorenzo Luccioli: Information theory in Lean: the DPI (3 messages, latest: Jan 16 2025 at 01:06)
- Scott Carnahan: Vertex algebras in Mathlib: coming soon? (4 messages, latest: Jan 16 2025 at 00:26)
- Peanut gallery (13 messages, latest: Jan 15 2025 at 16:44)
- Damiano Testa: An introduction to linters (60 messages, latest: Jan 15 2025 at 11:46)
- Daniel Weber and Vlad Tsyrklevich: Equational Theories Proj (12 messages, latest: Jan 15 2025 at 08:38)
- Oliver Nash: Root systems and root data in Mathlib (15 messages, latest: Jan 14 2025 at 20:52)
- channel events (4 messages, latest: Jan 14 2025 at 13:31)
- Socials at Gather Town (3 messages, latest: Jan 13 2025 at 21:06)
- Schedule and conference website (1 message, latest: Jan 13 2025 at 10:01)
- social hours (2 messages, latest: Jan 10 2025 at 21:23)
Last updated: May 02 2025 at 03:31 UTC