Mediaspace scheduled maintenance: Aug 25, 2026 07:00 - 12:00 AM. During this time, videos will be temporarily unavailable. Check status updates.

Graph
Search

Cours

CS-628: Interactive Theorem Proving CS

Résumé

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!

Séances de cours

Enseignant·e·s (2)

Clément Pit-Claudel

Aurèle Aimé Aubin Barrière

Source officielle

https://edu.epfl.ch/coursebook/fr/interactive-theorem-proving-cs-CS-628

Page Moodle

http://go.epfl.ch/CS-628

À propos de ce résultat

Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.