VU Class Solutions

Stream: new members

[ROCKY KAMEN-RUBIO]

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

[Anne Baanen]

@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]

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]

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

[Kevin Buzzard]

You know that the students pass it on, right? ;-)