Skip to main content
Moodle
  • Home
  • Calendar
  • More
English ‎(en)‎
English ‎(en)‎ Français ‎(fr)‎
You are currently using guest access
Log in
Moodle
Home Calendar
  1. Computer Science (IN)
  2. IN - Master
  3. Summary

Course information

CS-428 Interactive theorem proving

  • Professor: Clément Pit-Claudel
  • Professor: Jérémy Thibault
  • Teacher: Victor Yuefan Deng
  • Teacher: Yawen Guan
  • Teacher: Dario Halilovic

Contact site support
You are currently using guest access (Log in)
Powered by Moodle

  • 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