Comments by "Martin Maat" (@MartinMaat) on "Programming with Proofs - Computerphile" video.