Zulip Chat Archive

Stream: new members

Topic: VU Class Solutions


view this post on Zulip 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:
https://lean-forward.github.io/logical-verification/2018/index.html
https://lean-forward.github.io/logical-verification/2019/#materials
https://lean-forward.github.io/logical-verification/2020/index.html#materials

view this post on Zulip 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.

view this post on Zulip 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

view this post on Zulip Jasmin Blanchette (Jun 08 2020 at 09:20):

Indeed, we reuse some of the homework from year to year.

view this post on Zulip 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