Leslie Lamport와 함께 논문을 쓰게 된 계기How I came to write that paper with Leslie Lamport▲ 58 · lawrencecpaulson.github.io · 82일 전 · 11 댓글원문 보기 → HN에서 보기 →원문 요약원문을 요약하고 있습니다…