Top New Trends Comments Past Ask Show Jobs

Leslie Lamport's Annotated Writings (creator of LaTeX, TLA+, Paxos)(lamport.azurewebsites.net)

4 points·by sovietswag·vor 7 Monaten·0 comments

lamport.azurewebsites.net

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

https://lamport.azurewebsites.net/pubs/pubs.html

0 comments

—

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