Computerphile

Programming with Proofs (2021x34)

Data di messa in onda: Set 03, 2021

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.