Zulip Chat Archive
Stream: mathlib4
Topic: FLT in Le Monde
Antoine Chambert-Loir (Feb 18 2025 at 14:27):
pdf·20250219·LM_P·sch2.pdf
https://www.lemonde.fr/sciences/article/2025/02/18/le-dernier-theoreme-de-fermat-un-monument-des-maths-auquel-s-attaque-une-collaboration-internationale_6551843_1650684.html
Yaël Dillies (Feb 18 2025 at 14:29):
Already mentioned here: #general > Lean in the wild @ 💬
Last updated: May 02 2025 at 03:31 UTC