Verified Collaboration: Lean Project, Mathematics, Programming, and AI

Registration for this lecture will close at 2 p.m. the day of the event. Review the complete list of entrance requirements below.