course notes

Stream: FLT

[Kevin Buzzard]

I'm giving a course on the mathematics of FLT this term (so not Lean related, but certainly Lean-inspired); lectures are on Thursdays, we've had lecture 1 and they're usually weekly but due to unforeseen circumstances I can't make this Thursday so the next one is on 5th Feb. The lectures are not being publically live streamed but if you're attached to the university of Bristol, Bath, Swansea, Warwick or Oxford then you can register to watch them via the EPSRC TCC, and if you're at Imperial then you can do this and you can also attend in person.

I've just uploaded the first lecture to the FLT repo here https://github.com/ImperialCollegeLondon/FLT/tree/main/2026_EPSRC_TCC_course .

[Stepan Nesterov]

Is there any material that you covered in the first two lectures that needs to be formalised?

[Kevin Buzzard]

I don't think so.

[Kevin Buzzard]

But we'll soon be getting to stuff that needs doing