Understand how LLMs and agentic workflows are advancing research in math and formal methods for software development
Have an idea of how Lean plays a critical role as the lingua franca for these developments
Work on your final project
Kevin Sullivan's Lean course notes: https://kevinsullivan.github.io/Lean4CS1/