Computerphile
Programming with Proofs
2021 • E34 Sep 2, 2021 17m
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.