Join
Stanford University: LPL: Language, Proof and Logic
https://www.youtube.com/watch?v=aLHioqq9_M8