Hacker News new | ask | show | jobs
by lemmster 2297 days ago
Lamport lists various learning resources on his page: http://lamport.azurewebsites.net/tla/learning.html