re: #374 klys

I could see that.

On the other hand, I do not write proofs for fun. I just wanna write programs, dammit.

while you stand a good chance of being asked to come up with these algorithmic solutions you’ve been studying in a software engineer job interview, i can virtually guarantee you you will never be asked to do a proof