Homework: Reading questions

Submit two items to the submission website (see link in the navigation bar at the top of the page):

Answer the following question:

What is the difference between the kind of proof done in CIVL and the kind you have been doing in lab? In particular, what are the parts of a CIVL proof that are not checked by the machine?

Questions or comments regarding 6.826? Contact us on Piazza or send e-mail to the 6.826 staff at 6826-staff@lists.csail.mit.edu.

Creative Commons License