If want have not translated all of the proofs here and would like to come back and complete more later, please do. You can either skip answering these questions for now or answer them now and then update your answers after you translate more proofs. If you are done with as much of the study as you are going to complete, then please answer these questions now. If you would like me to inform you of the results of this study, include that in your response.

Final questions:

  • Which proof or proofs did you find the hardest to translate? Why?
  • Which proof or proofs did you find the easiest to translate? Why?
  • How would you compare the quality of the proofs that you have written with the quality of a proof that you might write on your own? What difference, if any, are there?
  • Is there anything else that you think you should have been asked or that you would like to add about this study?
Thank you for participating!

Amanda Holland-Minkley

Intro to the Study | Introduction to Nuprl | How to Read Nuprl Proofs | Tactic Definitions | Starting the Study | Exiting the Study

In case of questions contact:

Amanda Holland-Minkley
E-mail: hollandm@cs.cornell.edu
Phone: 255-1181
Office: Upson 5141