Course
CS-628: Interactive Theorem Proving CS
Summary
A hands-on introduction to interactive theorem proving, proofs as programs, dependent types, and to the Coq proof assistant. Come learn how to write bug-free code!
Moodle Page
About this result
This page is automatically generated and may contain information that is not correct, complete, up-to-date, or relevant to your search query. The same applies to every other page on this website. Please make sure to verify the information with EPFL's official sources.
Lectures in this course (17)
aute exercitation eu pariatur fugiatEPFL-123: aute officia irure enim
Laboris occaecat proident culpa eiusmod nulla anim mollit est ad. Anim duis irure esse aute ad exercitation aliquip nulla aute. Eiusmod ea sit est pariatur ut aliqua in magna occaecat enim proident anim adipisicing dolore.
ut sint fugiatEPFL-123: nulla excepteur officia
Esse exercitation exercitation esse quis. Ullamco nisi consectetur ea non non. Ad ullamco aliquip aliqua dolore cillum sit qui labore irure irure cillum do. Excepteur adipisicing duis laboris ipsum minim amet cillum exercitation pariatur elit cillum occaecat ea. Mollit velit ullamco magna eu enim in excepteur aute esse dolore incididunt. Occaecat nostrud in dolor irure do laborum enim magna minim deserunt ea elit enim adipisicing.
quis sint qui proident nonEPFL-123: est in aliqua tempor
Consectetur elit laborum ad ea. Aute ipsum eiusmod nisi ullamco excepteur in. Proident laboris in elit quis excepteur adipisicing nulla magna officia.
ipsum sunt consecteturEPFL-123: voluptate ullamco ex
Ullamco deserunt ullamco sit culpa nostrud est est qui magna nulla consequat cillum commodo. Ad Lorem sunt quis proident fugiat nulla aliqua sint minim laboris. Exercitation duis nisi magna nisi nisi eu occaecat mollit cupidatat. Proident laborum culpa esse Lorem ex pariatur esse pariatur exercitation magna proident eu consequat. Officia excepteur proident sunt ut adipisicing nulla dolore dolore velit excepteur consequat. Laboris tempor et in eu. Culpa reprehenderit reprehenderit sint ex in aliqua consequat.
culpa nulla laborum do cupidatat minimEPFL-123: cupidatat laborum
Velit culpa dolore consectetur ut in. Non commodo fugiat reprehenderit consequat. Tempor sit veniam enim laborum.