Aurèle Barrière

aurele.barriere@epfl.ch https://aurele-barriere.github.io/

EPFL > IC > IINFCOM > SYSTEMF

Web site:   Site web:   https://systemf.epfl.ch/

EPFL > VPA-AVP-PGE > AVP-PGE-EDOC > EDIC-ENS

vCard
Données administratives

Enseignement & Phd

Cours

Interactive theorem proving

Une introduction pratique à la preuve de théorème interactive, aux preuves en tant que programmes, aux types dépendants, et à l'assistant de preuve Coq. Venez apprendre à écrire du code sans bug !