Hacker News new | ask | show | jobs
by Sorrop 2709 days ago
For the first question, there you go: https://lamport.azurewebsites.net/tla/formal-methods-amazon....