L lawrencecpaulson.github.io How I came to write that paper with Leslie Lamport https://www.microsoft.com/en-us/research/publication/specifi... 58 points baruchel 2 months ago 11 comments
