Class 16: Implementing Proof Repair

For the sixteenth class, we are going to implement proof repair as a plugin. Not the whole thing, just for a restricted class of changes. I've made a tutorial for this! Though it's fairly normal if the tutorial is a bit challenging. Please don't hesitate to ask for help.

Installation Instructions

You should have already cloned the tutorial plugin from Github. Now you will need to update it---run git pull. Then cd repair and build the second tutorial.

If you have any trouble, please post your questions in this thread. Please also drop any installation tips you have in that thread.

If installation fails, and the class forums are no help, do not panic; we will try to match you with someone in class for whom installation worked.

You can find the exercise we will do together in class below.

During class, we will again divide up into groups. We will then do the exercises in the second plugin tutorial. You can do this on your own if you cannot make it to class, or enter a Zoom breakout if you're remote. Let me know if you can't attend, but would like me to find you a partner or make an exception.

There is a discussion question at the bottom of the file. This is the only graded part. Please have your group post your answers in this thread, following the directions from the file.