Moodle 2024-2025
Interactive Theorem Proving CS
CS-628
This file is part of the content downloaded from
Interactive Theorem Proving CS
.
Announcements (Forum)
General help (lectures, labs, administrivia) (Forum)
Course website (URL)
Lab 01 (Assignment)
Inductive proposition examples (File)
Smallstep Exercises (File)
Team and project abstract (Assignment)
Church Numerals (File)
Full Project Proposal (Assignment)
Lab 02 (Assignment)
Final report (Assignment)