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

  1. So, he wrote a unit test?
    1