| Home | |
| Syllabus | |
 |
Assignments |
| Instructor |
|
Session 10
Checking the proof skeleton of a theorem using a
mechanized proof checker.
What to do for this assignment
Bonus credit work is optional (i.e., not required).
|
| Applicable Mathematics and Informatics | ||||||||||||||
|
|
|||||||||||||