Subscribe to Events
LEAN Working Group
Alex Kontorovich, Preston Walker
Location: HLL 260
Date & time: Wednesday, 29 April 2026 at 2:00PM - 3:00PM
A working group to formalize theorems in LEAN running in tandem with 640:574. Our goal is to begin formalizing Iwaniec-Kowalski.