Channel: Computerphile

Category: Education

Tags: mathematicsfpuniversity of nottinghamagdacodingcomputercomputerphilecomputer scienceprofessor thorsten altenkirchscienceproofmathcomputersprogramming

Description: 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.com/computerphile twitter.com/computer_phile This video was filmed and edited by Sean Riley. Computer Science at the University of Nottingham: bit.ly/nottscomputer Computerphile is a sister project to Brady Haran's Numberphile. More at bradyharan.com