Leslie Lamport: Some Data on the Frequency of Errors in Mathematics Papers [pdf] | Dark Hacker News