40:37Logic and Proof, Lecture 9: Decision Procedures. Live versionLawrence Paulson82 viewsView & Download
1:45:09Stanford CS230 | Autumn 2025 | Lecture 9: Career Advice in AIStanford Online422.9K viewsView & Download
2:17LAFF – On Programming for Correctness | UTAustinX on edX | Course About VideoedX1.8K viewsView & Download