Modularity Theorem

Stream: Is there code for X?

[Steven Rossi]

I was wondering if there was any code/project towards proving the modularity thoerem? I saw a basic outline of modular forms on mathlib but it doesn't look like there is much more than the definitions flushed out. Are there any open project on this?

[Ted Hwa]

See the stream #FLT

[Kevin Buzzard]

Yeah I've got five years to work on it, starting in October (but in practice starting in June once I've got the cares of my final term of administration out of the way...)