Zulip Chat Archive

Stream: new members

Topic: lean forward logical verification course

Huỳnh Trần Khanh (Jun 02 2021 at 04:17):

most links here (https://lean-forward.github.io/logical-verification/2020/) lead to 404s, how can i access the course materials?

Huỳnh Trần Khanh (Jun 02 2021 at 04:17):

like I can't access the videos at all

Mario Carneiro (Jun 02 2021 at 04:25):

cc @Jasmin Blanchette

Jasmin Blanchette (Jun 02 2021 at 06:03):

I had to remove the videos recently for technical reasons. I'm reuploading 15 videos a day on youtube. Search for "logical verification 2020". Sorry for the trouble.

Last updated: Dec 20 2023 at 11:08 UTC