lean forward logical verification course

Stream: new members

[Huỳnh Trần Khanh]

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]

like I can't access the videos at all

[Mario Carneiro]

cc @Jasmin Blanchette

[Jasmin Blanchette]

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.