search

ImperialCollegeLondon / FLT

Ongoing Lean formalisation of the proof of Fermat's Last Theorem
Apache License 2.0
245 stars 48 forks source link

Formalising Mathematics projects #12

Closed kbuzzard closed 7 months ago

kbuzzard commented 9 months ago

This is the issue where we're managing the Formalising Mathematics projects associated to the Langlands conjectures

1) Jou and Bendit are working on Frobenius elements. 2) The two Chinese guys whose names I don't know (I'll update when I know them) but who I talked to at Xena yesterday 8th Feb are working on the family of monoids attached to a commutative bialgebra. 3) Ivan is working on familes of Galois representations.

kbuzzard commented 7 months ago

Ultimately we didn't manage the projects here.