Zulip Chat Archive

Stream: FLT

Topic: Blog post

Kevin Buzzard (Apr 28 2024 at 19:56):

I plan on making the FLT repo public on Tuesday; I've PR'ed an accompanying blog post https://github.com/leanprover-community/blog/pull/72 on the community blog, although note that the links don't work yet!

Oisin McGuinness (Apr 29 2024 at 14:56):

Kevin Buzzard said:

I plan on making the FLT repo public on Tuesday;

I'm very much looking forward to your talk on Tuesday in VaNTAGe On the ingredients for Fermat (Reminder: click through on title of talk to get livestream connection when setup.)

Kim Morrison (Apr 29 2024 at 23:49):

2024-05-01T03:00:00+10:00!

Kevin Buzzard (Apr 30 2024 at 06:19):

Hopefully Kim will forgive me for it not actually being April where they are :-)

Yaël Dillies (Apr 30 2024 at 07:09):

To their great dismay! :drum:

Last updated: May 02 2025 at 03:31 UTC