Zulip Chat Archive

Stream: FLT

Topics:

tikzcd (17 messages, latest: May 01 2025 at 20:31)
miniproject: adeles (56 messages, latest: May 01 2025 at 15:33)
CI update (4 messages, latest: Apr 27 2025 at 10:34)
Definition docstrings (1 message, latest: Apr 27 2025 at 07:41)
Rolling update (85 messages, latest: Apr 26 2025 at 08:42)
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)
Mathlib bump (86 messages, latest: Apr 09 2025 at 10:51)
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)
Miniproject: Haar characters (5 messages, latest: Dec 20 2024 at 19:07)
VS Code LaTeX Workshop issue (33 messages, latest: Dec 19 2024 at 15:35)
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: May 02 2025 at 03:31 UTC