35 ms·You mean the 10 pages of the proofs located in the Appendix aren't read? I hate CS academia...by dazed_confused 3y agoYou mean the 10 pages of the proofs located in the Appendix aren't read? I hate CS academia...