This repository contains the teaching materials for the June 2025 Simons Foundation workshop on Lean, taught by Antoine Chambert-Loir, Alex Kontorovich, and Heather Macbeth.
For more information on the workshop, including lecture notes and videos, please visit : https://leanprover-community.github.io/blog/posts/simons-lean-workshop/
You can run the code on the web using GitHub Codespaces, by clicking this link: