▲ 3 pointsHow to Write a 21st Century Proof – Leslie Lamport 2011 [pdf]lamport.azurewebsites.netby nill0·1y ago·0 comments·view on hn ↗