Breadcrumb Home Videos Formal Methods for the Informal Engineer: Tutorial #2 - The Coq Theorem Prover Online event hosted by the Ó³»´«Ã½ of MIT and Harvard Day 2 (Feb. 4) Opening Remarks Tutorial 2: The Coq Theorem Prover Cody Roux, Draper Labs Latest news News 11.24.2025 New AI model could speed rare disease diagnosis News 11.20.2025 FDA approves first cancer drug based on Ó³»´«Ã½ science News 11.20.2025 Q&A: How an academic-industry alliance is reshaping the way research can lead to new medicines News 11.19.2025 Single prime editing system could potentially treat multiple genetic diseases All news
News 11.20.2025 Q&A: How an academic-industry alliance is reshaping the way research can lead to new medicines