NOTE: For some videos of board talks, the video shows a black screen with just audio.
To fix this, you need to switch to the 2nd view, which appears as two arrows in the bottom right side of the video.<\/p>\n\n\n\n
Shachar Lovett: <\/strong><\/p>\n\n\n\n From Sunflowers to Thresholds [lecture notes<\/a>]<\/p>\n\n\n\n Bhavik Mehta:<\/strong><\/p>\n\n\n\n For part of the theorem proving track of the course, I will give an introduction to the Lean theorem prover. As such, and to work on the exercises, you should bring a laptop and try to install Lean in advance. Installation instructions can be found here: https:\/\/leanprover-community.github.io\/get_started.html<\/a>. If you are struggling with this, then we will have some time during the week to iron out some installation problems. There are also alternative ways to try and work with Lean on your laptop without installing it, so don’t worry too much if after a few attempts it still doesn’t seem to work.<\/p>\n\n\n\n If you would like to get started early, I recommend trying the Natural Number Game: https:\/\/adam.math.hhu.de\/#\/g\/leanprover-community\/NNG4<\/a>. I won’t be following this, but the ideas there will still be relevant, and it’s fun to try nonetheless.<\/p>\n\n\n\n Github link: https:\/\/github.com\/b-mehta\/epfl-comb<\/a><\/p>\n\n\n\n Raghu Meka:<\/strong><\/p>\n\n\n\n\n
\n
\n