Leslie Lamport's Annotated Writings (creator of LaTeX, TLA+, Paxos)

4 pointsposted 2 months ago
by sovietswag
(lamport.azurewebsites.net)

No comments yet