View Coq proof assistant PowerPoint (PPT) presentations online in SlideServe. SlideServe has a very huge collection of Coq proof assistant PowerPoint presentations. You can view or download Coq proof assistant presentations for your school assignment or business presentation. Browse for the presentations on every topic that you want.