Student materials for Thread 3 of AI Agents for Mathematics Research, Department of Mathematics, University of York.

• Setting up Lean — get Lean and Mathlib running, on a classroom machine or in a Codespace
• Worksheets, weeks 1–6 — the exercises and background for each week

Forking the repository, working in Codespaces, and submitting your work are covered in the repository README.

Prefer a PDF? Setup guide · Worksheets