Passer au contenu principal
Panneau latéral
Accueil
Plus
Français (fr)
English (en)
Français (fr)
Vous êtes connecté anonymement
Connexion
Accueil
Informatique (IN)
IN - Master
Résumé
Informations du cours
CS-428 Interactive theorem proving
Professor:
Aurèle Barrière
Professor:
Clément Pit-Claudel
Teacher:
Shardul Chiplunkar
Teacher:
Yawen Guan
Teacher:
Simon Guilloud
Teacher:
Dario Halilovic
Contact
EPFL CH-1015 Lausanne
+41 21 693 11 11
Suivre les pulsations de l'EPFL sur les réseaux sociaux
Accessibilité
Mentions légales
Protection des données
© 2023 EPFL, tous droits réservés