Zulip Chat Archive

Stream: Carleson

Topics:

Outstanding Tasks, V5 (42 messages, latest: May 01 2025 at 11:34)
Generalising WeakType to ENorm (8 messages, latest: Apr 30 2025 at 16:30)
✔ Lemma 10.1.2 and Chapter 10 (23 messages, latest: Apr 28 2025 at 13:37)
question about functions with finite support (16 messages, latest: Apr 22 2025 at 16:13)
new member (54 messages, latest: Apr 17 2025 at 13:34)
mathlib bump (10 messages, latest: Apr 14 2025 at 17:19)
Small imprecision in Lemma 8.0.1 (8 messages, latest: Apr 04 2025 at 11:16)
✔ Builds failing under 'Build project API documentation' (8 messages, latest: Apr 01 2025 at 10:37)
Upstream to Mathlib (3 messages, latest: Mar 28 2025 at 21:11)
7.7.2 (22 messages, latest: Mar 28 2025 at 13:29)
✔ doc search broken (9 messages, latest: Mar 18 2025 at 11:08)
✔ Final step for Lemma 7.3.2 (10 messages, latest: Mar 11 2025 at 17:37)
Hardy-Littlewood maximal principle for countable many balls (18 messages, latest: Mar 10 2025 at 16:12)
Lemma 7.5.2 is unprovable (14 messages, latest: Mar 07 2025 at 08:33)
Upgraded doc-gen workflow (1 message, latest: Mar 04 2025 at 22:33)
✔ Gap in Lemma 7.5.7 (6 messages, latest: Mar 01 2025 at 00:45)
lemma 7.7.4 (7 messages, latest: Feb 26 2025 at 10:26)
lemma 7.7.1 forest row-decomposition (31 messages, latest: Feb 22 2025 at 12:25)
Putting arithmetical (+-≥≤2+2=4) lemmas into a separate file (2 messages, latest: Jan 29 2025 at 11:29)
Outstanding Tasks, V4 (60 messages, latest: Jan 23 2025 at 12:04)
Question about background (4 messages, latest: Jan 21 2025 at 14:30)
✔ Lemma 7.5.1 - help with strict containment (5 messages, latest: Dec 19 2024 at 15:31)
Task 52 (92 messages, latest: Nov 22 2024 at 11:17)
L u nonempty in 5.2.9 (5 messages, latest: Nov 18 2024 at 13:45)
✔ Finiteness of I u in 5.2.9 (7 messages, latest: Nov 17 2024 at 12:53)
[DOCS] New setup for doc-gen4 (4 messages, latest: Nov 12 2024 at 16:25)
Task 100 (9 messages, latest: Oct 28 2024 at 09:25)
Carleson in informal formalization seminar (3 messages, latest: Oct 18 2024 at 10:35)
online seminar talk about the Carleson project (3 messages, latest: Oct 11 2024 at 12:50)
Software tool for formal proof collaboration (4 messages, latest: Oct 08 2024 at 13:01)
Milestone: 50% done (9 messages, latest: Sep 26 2024 at 13:41)
Outstanding Tasks, V3 (51 messages, latest: Sep 25 2024 at 15:10)
Tracking upstreaming PRs? (8 messages, latest: Sep 20 2024 at 16:27)
Positivity of dens' (7 messages, latest: Sep 09 2024 at 13:04)
mathlib update (1 message, latest: Sep 03 2024 at 10:19)
minLayer naming (1 message, latest: Jul 31 2024 at 14:18)
✔ problem in forest inner (33 messages, latest: Jul 31 2024 at 10:33)
How to prove a ball is measurable (19 messages, latest: Jul 30 2024 at 08:35)
Real interpolation theorem (13 messages, latest: Jul 24 2024 at 20:45)
Outstanding Tasks, V2 (74 messages, latest: Jul 23 2024 at 11:26)
Major update to the blueprint (4 messages, latest: Jul 18 2024 at 22:59)
GitHub Actions (1 message, latest: Jul 16 2024 at 20:29)
sorry trouble (7 messages, latest: Jul 12 2024 at 14:36)
Carleson at HIM (2 messages, latest: Jul 08 2024 at 19:38)
Lemma 2.1.3 (2 messages, latest: Jul 08 2024 at 13:58)
disk space (23 messages, latest: Jul 05 2024 at 15:10)
Equation (5.3.3) (34 messages, latest: Jul 05 2024 at 00:59)
Outstanding Tasks, V1 (125 messages, latest: Jul 02 2024 at 16:27)
Rounding errors in the proofs (24 messages, latest: Jul 02 2024 at 02:32)
clarification for 4.1.5 (dyadic property) (2 messages, latest: Jun 30 2024 at 10:24)
termination for mutual recursion (16 messages, latest: Jun 27 2024 at 13:50)
nitpick in 4.1.3 (8 messages, latest: Jun 26 2024 at 13:57)
✔ help with 4.1.1 (21 messages, latest: Jun 25 2024 at 21:31)
✔ C2_0_2 is positive? (4 messages, latest: Jun 25 2024 at 21:24)
Nonnegative doubling factor (16 messages, latest: Jun 24 2024 at 11:12)
links (3 messages, latest: Jun 21 2024 at 20:02)
channel events (1 message, latest: Jun 21 2024 at 14:29)

Last updated: May 02 2025 at 03:31 UTC