This week we have a written part and an implementation part.
Answer the questions found in main.tex and turn your answers in by uploading them
back here before midnight on the due date. You may do this as many times as
you want. Only your final submission counts.
Remember this is math class so be sure to justify your answers. You will be graded on correctness and
Note: when you submit, your filename must be solutions.pdf and it must be a pdf.
(Hint: an adapted solution to the implementation could help you answer some of the questions...)
Remove the sorry's in Hw.lean to pass the tests. There are more detailed instructions in the comments.