Interactive Theorem Proving Project
CS-642 / 4 credits
Teacher: Pit-Claudel Clément
Language: English
Remark: Doctoral-level alternative to CS-428 Interactive Theorem Proving
Frequency
Every year
Content
In the programs
- Exam form: Multiple (session free)
- Subject examined: Interactive Theorem Proving Project
- Courses: 2 Hour(s)
- Project: 70 Hour(s)
- TP: 40 Hour(s)
- Type: optional