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.
You can run the code on the web using GitHub Codespaces, by clicking this link:
