Aurèle Barrière
Web site: Site web: https://systemf.epfl.ch/
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 !