Zulip Chat Archive

Stream: FLT

Topics:

Outstanding tasks, V9 (35 messages, latest: Dec 19 2025 at 20:10)
FLT docs missing mathlib declarations (2 messages, latest: Dec 19 2025 at 19:37)
Fundamental domains (33 messages, latest: Dec 17 2025 at 21:46)
Are the adeles Polish? (48 messages, latest: Dec 16 2025 at 07:02)
Mathlib bump (109 messages, latest: Dec 13 2025 at 23:53)
accelerating FLT (with tactics or AI) (28 messages, latest: Dec 11 2025 at 02:21)
build failing (13 messages, latest: Nov 29 2025 at 20:59)
update (3 messages, latest: Nov 14 2025 at 13:40)
Formalising the statement of Ribet's Lemma (32 messages, latest: Nov 13 2025 at 23:21)
Statement of the "lifts" theorem (2 messages, latest: Nov 13 2025 at 11:47)
More GaloisRep API (11 messages, latest: Nov 12 2025 at 14:36)
Trivial submodule is a trivial subrepresentation (2 messages, latest: Nov 10 2025 at 19:48)
Hardly ramified representations (113 messages, latest: Nov 05 2025 at 11:20)
unused argument linter issue (26 messages, latest: Oct 19 2025 at 14:04)
Next steps in the formalization (21 messages, latest: Oct 13 2025 at 21:32)
What are the biggest chunks which will be left undone by FLT (3 messages, latest: Oct 05 2025 at 07:12)
How long will the proof be when completed? (11 messages, latest: Sep 28 2025 at 13:56)
RSS feed for commits (2 messages, latest: Sep 25 2025 at 01:34)
LMFDB (7 messages, latest: Sep 24 2025 at 16:58)
Top down/bottom up (was:Finite subgroups of PGL_2(F_p bar)) (22 messages, latest: Sep 16 2025 at 17:29)
Most likely place for an error? (41 messages, latest: Sep 11 2025 at 16:17)
Adeles over Q (10 messages, latest: Sep 02 2025 at 10:35)
Project infrastructure issues (12 messages, latest: Sep 02 2025 at 06:27)
Anyone using blueprint graphs for current miniprojects? (10 messages, latest: Aug 28 2025 at 04:54)
miniproject: adeles (108 messages, latest: Aug 15 2025 at 05:37)
Rolling update (116 messages, latest: Aug 07 2025 at 08:43)
diamond in adele set-up (22 messages, latest: Aug 04 2025 at 12:52)
Upstreaming dashboard (15 messages, latest: Aug 02 2025 at 16:33)
Hecke operators (Lemma 12.19, Theorem 12.20) (3 messages, latest: Jul 05 2025 at 12:23)
T is Noetherian paper (1 message, latest: Jul 05 2025 at 12:18)
Theorem 11.6 (5 messages, latest: Jun 27 2025 at 19:09)
unitsrat_join_unitszHat (9 messages, latest: Jun 27 2025 at 14:44)
Awaiting author (6 messages, latest: Jun 10 2025 at 08:06)
Miniproject: Haar characters (22 messages, latest: Jun 08 2025 at 07:31)
tikzcd (24 messages, latest: Jun 07 2025 at 07:04)
heads-up: right algebras/modules incoming (1 message, latest: Jun 05 2025 at 15:26)
Outstanding tasks, V8 : Hecke algebras (1 message, latest: May 31 2025 at 23:45)
VS Code LaTeX Workshop issue (80 messages, latest: May 29 2025 at 11:14)
ImperialCollegeLondon/FLT cache (3 messages, latest: May 27 2025 at 09:51)
Outstanding Tasks, V7 : Haar characters (9 messages, latest: May 26 2025 at 18:23)
Deformation rings (10 messages, latest: May 19 2025 at 11:39)
manifest out of date (42 messages, latest: May 15 2025 at 06:06)
leanblueprint web warnings (7 messages, latest: May 13 2025 at 12:20)
doc-gen error (14 messages, latest: May 12 2025 at 10:58)
CI update (4 messages, latest: Apr 27 2025 at 10:34)
Definition docstrings (1 message, latest: Apr 27 2025 at 07:41)
microproject: restricted products (41 messages, latest: Apr 26 2025 at 01:05)
Odlyzko bounds (52 messages, latest: Apr 15 2025 at 15:12)
PadicInt.smul_submodule_relindex usage in broader proof (5 messages, latest: Apr 13 2025 at 19:28)
adele refactor (github issue) (5 messages, latest: Apr 05 2025 at 15:11)
adele refactor (4 messages, latest: Apr 03 2025 at 09:51)
✔ propose #385 issue (10 messages, latest: Apr 02 2025 at 06:48)
localFullLevel isOpen (7 messages, latest: Mar 09 2025 at 12:37)
docs links from blueprint not working? (5 messages, latest: Mar 05 2025 at 23:19)
Notes on the proof of FLT which is being formalized (2 messages, latest: Mar 05 2025 at 13:05)
v.adicCompletionIntegers vs Valued.integer (15 messages, latest: Mar 04 2025 at 16:41)
tag (13 messages, latest: Mar 04 2025 at 11:55)
Error in CI poss related to new doc-gen setup (126 messages, latest: Mar 01 2025 at 10:47)
Task 239 help (8 messages, latest: Feb 28 2025 at 07:38)
apply mathlib linters? (13 messages, latest: Feb 26 2025 at 21:22)
website? (8 messages, latest: Feb 25 2025 at 10:38)
Outstanding Tasks, V6: adeles, measures, quaternion alg… (20 messages, latest: Feb 25 2025 at 10:16)
runners cannot access domains? (9 messages, latest: Feb 12 2025 at 14:27)
Project Dashboard (40 messages, latest: Feb 07 2025 at 16:10)
Removing FLT_files (8 messages, latest: Feb 05 2025 at 15:12)
Mathlib bump to v4.16.0-rc2 (12 messages, latest: Jan 18 2025 at 17:41)
Functoriality of infinite completion for number fields (5 messages, latest: Jan 11 2025 at 14:24)
unable to bump (16 messages, latest: Dec 17 2024 at 16:22)
Final FLT lecture of term (7 messages, latest: Dec 11 2024 at 22:29)
✔ Beal conjecture (9 messages, latest: Dec 09 2024 at 10:52)
versioning (17 messages, latest: Nov 08 2024 at 17:59)
November update (13 messages, latest: Nov 07 2024 at 21:55)
Outstanding Tasks, V5: Frobenius elements (47 messages, latest: Oct 18 2024 at 14:46)
Outstanding Tasks, V2 (90 messages, latest: Oct 13 2024 at 09:59)
Visualising local growth of the project (19 messages, latest: Sep 29 2024 at 17:19)
Outstanding Tasks, V4 (43 messages, latest: Sep 25 2024 at 21:41)
blueprint def of private noncomputable abbrev (3 messages, latest: Sep 20 2024 at 19:26)
Challenge: solve two simultaneous equations (by automation?) (10 messages, latest: Sep 10 2024 at 07:42)
Help – CI broken (45 messages, latest: Sep 09 2024 at 22:12)
characteristic classes (8 messages, latest: Sep 05 2024 at 23:36)
FLT3 (5 messages, latest: Jul 16 2024 at 09:55)
TwoSidedIdeal (2 messages, latest: Jul 06 2024 at 00:12)
lake failure to bump mathlib (8 messages, latest: Jun 19 2024 at 09:46)
github security warnings (12 messages, latest: Jun 18 2024 at 13:51)
GL_n or GL(V)? Lie group help (18 messages, latest: Jun 15 2024 at 19:07)
update/Bonn (1 message, latest: Jun 09 2024 at 06:58)
The numerical criterion (13 messages, latest: Jun 06 2024 at 19:56)
Outstanding Tasks, V3 (81 messages, latest: May 29 2024 at 22:59)
Suggestion: Prizes for completing sections of the proof. (19 messages, latest: May 24 2024 at 12:21)
LaTeX advice (31 messages, latest: May 09 2024 at 22:19)
Project public (88 messages, latest: May 06 2024 at 19:59)
Outstanding Tasks, V1 (42 messages, latest: May 04 2024 at 15:59)
PRs to FLT without local install (9 messages, latest: May 03 2024 at 18:54)
p = 3 case (13 messages, latest: May 02 2024 at 12:31)
Local LaTeX installation issues (8 messages, latest: May 01 2024 at 23:11)
Integration with mathlib (18 messages, latest: May 01 2024 at 23:00)
Project overview and coordination (29 messages, latest: May 01 2024 at 15:03)
HN frontpage (1 message, latest: May 01 2024 at 04:27)
Blog post (5 messages, latest: Apr 30 2024 at 07:09)
Weierstrass P-function (17 messages, latest: Apr 17 2024 at 17:17)
Finite flat group schemes of order 2 (1 message, latest: Mar 09 2024 at 16:11)
Formalising Fermat (28 messages, latest: Mar 06 2024 at 22:34)
Fermat Last Theorem (7 messages, latest: Dec 08 2023 at 12:45)
stream events (1 message, latest: Dec 07 2023 at 07:37)

Last updated: Dec 20 2025 at 21:32 UTC