Programming with Proofs - Computerphile

Continuing our look at the Agda programming language, Professor Thorsten Altenkirch shows us how you can work with proofs, which could be invaluable in some industrial situations.

Facebook: computerphile
Twitter: computer_phile

This video was filmed and edited by Sean Riley.

Computer Science at the University of Nottingham: https://bit.ly/nottscomputer

Computerphile is a sister project to Brady Haran's Numberphile. More at http://www.bradyharan.com

• #education
• #computers
• #computerphile
• #computer
• #science
• #computer_science
• #university_of_nottingham
• #professor_thorsten_altenkirch
• #agda
• #proof
• #fp
• #math
• #mathematics
• #programming
• #coding