Comments by "xybersurfer" (@xybersurfer) on "Program Correctness - Computerphile" video.

  1. clickbait! next time actually show formal correctness
    3