Aurèle Barrière

aurele.barriere@epfl.ch +41 21 693 88 46 https://aurele-barriere.github.io/

+41 21 693 88 46
Local:   INN 317
EPFL > IC > IINFCOM > SYSTEMF

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

+41 21 693 88 46
EPFL > VPA-AVP-DLE > AVP-DLE-EDOC > EDIC-ENS

+41 21 693 88 46
EPFL > IC > IC-SIN > SIN-ENS

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

vCard
Données administratives

Enseignement & Phd

Enseignement

Computer Science

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 !