Skip to main content
Side panel
Home
More
English (en)
English (en)
Français (fr)
Log in
Home
Computer Science (IN)
IN - Master
Summary
Course info
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
Follow the pulses of EPFL on social networks
Accessibility
Legal notice
Privacy policy
© 2023 EPFL, all rights reserved