Terence Tao – Machine-Assisted Proofs [video] (youtube.com)
Mathematics, Computer Science, Proof Assistance, Video Lectures
111 points by ipnon 41 days ago | 31 comments