A Computer Scientist Tells Mathematicians How to Write Proofs

Comments



from Hacker News http://bit.ly/15WAnqG