Jeff Erickson
Jeff Erickson
**On independent equalities:** The style I actually prefer for these proofs is a string of equalities like this: So the order of the statements does matter. I find this much...
**On partial credit for mixing different options:** The grading standard I like to aim for is essentially "edit distance to a correct solution with no redundancies". So any extraneous statements...
"We could decouple the declaration of the proof structure from the declaration of the lines." — But variations are more fine grained than "proof structure". Again, a current PL proof-blocks...
I'm starting to think that the flexibility I have in mind will make grading PSPACE-hard.