Tools & Resources

Supplementary materials being developed by Ivy O'Neal-Odom and Caroline Knote (Fall '19 CS 312 students).

Check out The Incredible Proof Machine for an interactive interface that helps to practice formal logic for proofs!

Also this post on the similarity of code and proofs.

https://coq.inria.fr/tutorial-nahas

Please use the Piazza tool for asking and answering questions outside of class!

• I will check posts and provide guidance.
• Please also do the same for your classmates!

Please use the Gradescope tool for submitting and receiving feedback on your written assignments and exams.

For each Gradescope submission, be sure your:

• Submission is typed or written neatly (with ample white-space and no scratching out, etc.).
• Submission is a pdf. If scanned, the pdf must be rotated correctly, scanned at high quality, and readable at a standard letter size.
• Submission follows the Gradescope scanning recommendations (video here) to ensure the scan is high quality.
• Questions are assigned pages correctly via the gradescope submission.

In each assignment, some points are devoted to having a high-quality, readable pdf — you will lose these points if your work is unreadable or too messy. Make sure you upload and annotate your submission correctly!