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 03.04.2026 Gut bacteria rewire fat tissue to burn more energy News 02.26.2026 Study reveals genetic balancing act between autoimmunity and cancer risk News 02.25.2026 Free genetic testing program aims to improve medical care across Alabama News 02.25.2026 Scientists sharpen genetic maps to help pinpoint DNA changes that influence human health traits and disease risk All news
News 02.25.2026 Scientists sharpen genetic maps to help pinpoint DNA changes that influence human health traits and disease risk