Zulip Chat Archive
Stream: Polynomial Freiman-Ruzsa conjecture
Topics:
- Outstanding tasks, version 8.0 (8 messages, latest: Dec 20 2023 at 09:42)
- Installing automated proof tools? (13 messages, latest: Dec 19 2023 at 02:32)
- Project completed! Thoughts and reflections? (56 messages, latest: Dec 18 2023 at 21:04)
- Mathlib bump (40 messages, latest: Dec 18 2023 at 08:14)
- Outstanding tasks, version 7.0 (69 messages, latest: Dec 18 2023 at 02:53)
- Improved PFR (3 messages, latest: Dec 12 2023 at 19:34)
- Entropy on an infinite type (43 messages, latest: Dec 11 2023 at 22:12)
- Weak PFR over the integers (5 messages, latest: Dec 11 2023 at 14:45)
- PFR extensions (11 messages, latest: Dec 10 2023 at 16:10)
- Balog-Szemerédi-Gowers (50 messages, latest: Dec 05 2023 at 08:14)
- Outstanding tasks, version 5.0 (22 messages, latest: Dec 03 2023 at 12:13)
- Helper lemma for (conditional) Ruzsa distance (11 messages, latest: Nov 30 2023 at 07:58)
- Outstanding tasks, version 4.0 (44 messages, latest: Nov 29 2023 at 17:22)
- Independence of A, B, C implies independence of A, B+C (18 messages, latest: Nov 29 2023 at 17:12)
- blueprint docs 404 (12 messages, latest: Nov 28 2023 at 01:17)
- Outstanding tasks, version 3.0 (48 messages, latest: Nov 27 2023 at 11:38)
- notation and docstrings (5 messages, latest: Nov 27 2023 at 05:20)
- finiteness tactic (7 messages, latest: Nov 26 2023 at 19:55)
- ✔ Errors in FiniteMeasureFintype.lean (28 messages, latest: Nov 25 2023 at 08:36)
- "one click install" of project? (4 messages, latest: Nov 25 2023 at 00:11)
- Issues with cache (15 messages, latest: Nov 24 2023 at 09:08)
- New version of "outstanding tasks" (27 messages, latest: Nov 24 2023 at 06:59)
- Fibring Lemmas (4 messages, latest: Nov 23 2023 at 22:38)
- Update thread! (63 messages, latest: Nov 22 2023 at 22:38)
- independence file (3 messages, latest: Nov 22 2023 at 21:50)
- Ruzsa triangle inequality (14 messages, latest: Nov 22 2023 at 17:39)
- Pairing together two random variables (19 messages, latest: Nov 22 2023 at 02:42)
- @simp lemmas for entropy of sums? (40 messages, latest: Nov 20 2023 at 20:52)
- Proof of Kaimonovich-Vershik - how to improve? (16 messages, latest: Nov 20 2023 at 20:01)
- Blueprint is starting! (35 messages, latest: Nov 20 2023 at 17:43)
- Build errors (sorry) (33 messages, latest: Nov 19 2023 at 19:20)
- comments on FiniteMeasure user-friendliness (34 messages, latest: Nov 19 2023 at 17:27)
- Entropy (23 messages, latest: Nov 19 2023 at 10:08)
- Blog post "tour" of project (1 message, latest: Nov 18 2023 at 23:54)
- Is this the right way to introduce independent copies? (13 messages, latest: Nov 18 2023 at 19:35)
- How to define uniform distribution? (31 messages, latest: Nov 18 2023 at 00:28)
- Notation and updates (6 messages, latest: Nov 17 2023 at 06:13)
- Copy / identically distributed (8 messages, latest: Nov 16 2023 at 16:50)
- mathlib-only approach to entropy (39 messages, latest: Nov 15 2023 at 17:36)
- statement of PFR conjecture (17 messages, latest: Nov 14 2023 at 09:02)
- Welcome! (20 messages, latest: Nov 13 2023 at 23:58)
- Formalizing F_2^n (5 messages, latest: Nov 13 2023 at 22:36)
- ✔ stream events (3 messages, latest: Nov 13 2023 at 22:14)
Last updated: Dec 20 2023 at 11:08 UTC