Stream: new members
Topic: VU Class Solutions
ROCKY KAMEN-RUBIO (Jun 07 2020 at 01:35):
Has anyone posted solutions to the VU class problem sets from past years? Would this be disruptive for the class? I've found some of their tutorials pretty useful and would love to compare my answers, or clean up and post my own if no one else has.
Here are the links to the class webpages with all their materials for anyone unfamiliar:
Anne Baanen (Jun 08 2020 at 08:39):
@Jasmin Blanchette will have the final say, but: please don't post the homework solutions publically because we might (probably will) re-use the exercises between years. I can take a look at them though.
Anne Baanen (Jun 08 2020 at 08:40):
The tutorial exercises have solutions online already, by the way: https://github.com/blanchette/logical_verification_2019/blob/master/lean/love01_definitions_and_lemma_statements_exercise_solution.lean
Jasmin Blanchette (Jun 08 2020 at 09:20):
Indeed, we reuse some of the homework from year to year.
Kevin Buzzard (Jun 08 2020 at 10:00):
You know that the students pass it on, right? ;-)
Last updated: May 15 2021 at 23:13 UTC