Codes and Expansions (CodEx) Seminar

Mitchell Taylor (ETH Zurich)
Lean for the working mathematician

I'll explain how you can use LLMs to Lean verify your papers and the best resources for learning how to read Lean.