General statistics
List of Youtube channels
Youtube commenter search
Distinguished comments
About
Martin Maat
Computerphile
comments
Comments by "Martin Maat" (@MartinMaat) on "Programming with Proofs - Computerphile" video.
So, he wrote a unit test?
1