The "Lean for Mathematicians" workshop, aimed at training graduate students and postdocs in the use of the Lean proof assistant language for mathematics, runs June 16-27 2025 and is currently taking applications. https://sites.google.com/view/simonsleanworkshop2025
Comments