Featured Featured March 12 @ 6:00 pm - 7:00 pm Verified Collaboration: How Lean is Transforming Mathematics, Programming, and AI Gerald D. Fischbach Auditorium 160 5th Avenue, New York