I'm aware of many previous posts on HNews and the main documentation [0]. Does anyone have suggestions for getting started from a non-CompSci perspective? I am comfortable with Python but I'm not confident that suffices.
I recommend learning Dafny instead of TLA+. It gives you all of the same reasoning power, with the added advantage that you can run your proven code in production.
I'm aware of many previous posts on HNews and the main documentation [0]. Does anyone have suggestions for getting started from a non-CompSci perspective? I am comfortable with Python but I'm not confident that suffices.
0: http://lamport.azurewebsites.net/tla/hyperbook.html