16:640:574

Spring 2026

Alex Kontorovich

Subtitle:

Formalized Analytic Number Theory

Course Description:

We will discuss mechanisms to prove standard theorems in analytic number theory in the Lean proof assistant.

Textbook:

None

Prerequisites:

Complex Analysis