Diving into Automated Reasoning and Formal Verification with Dr. Byron Cook in this new video series for those Curious about new technologies