4 ms·

I found that to be quite the opposite. Having finished my CS degree and taken various analysis of algorithm classes I found proofs to involve lots more hand ho

by otto 17y ago

I found that to be quite the opposite. Having finished my CS degree and taken various analysis of algorithm classes I found proofs to involve lots more hand holding and shortcuts. I'm working on finishing my Mathematics degree and proofs are much more vigorous.

jules 17y ago
Check out some papers on type theory. They prove the most trivial things in excruciating detail.