Note for anybody who's particularly interested in automated reasoning, and likes watching video - the UCLA Automated Reasoning Group has a ton of good stuff up

Note for anybody who's particularly interested in automated reasoning, and likes watching video - the UCLA Automated Reasoning Group has a ton of good stuff up on Youtube. https://www.youtube.com/c/UCLAAutomatedReasoningGroup https://www.youtube.com/c/UCLAAutomatedReasoningGroup