10:57!!Con 2014 - Katherine Ye: Proofs about programs, proofs as programs, and programs as proofs!!!Con604 viewsView & Download
2:21If you're struggling to learn to code, you must watch thisPython Programmer347.9K viewsView & Download
6:37"The Quest for Perfection: Perfect Number Program in C #cprogramming #numbers #perfect #learningCoding Classroom381 viewsView & Download
44:48How (and why) to Build an Automated Theorem Prover: De-mystifying Logical InferenceOntology Talk with Adam Pease11.6K viewsView & Download