3 ms·
I know almost nothing about TLA+, but am greatly enjoying this book written by Lamport http://lamport.azurewebsites.net/tla/book.html http://lamport.azurewebsi
by aarpmcgee 9y ago
I know almost nothing about TLA+, but am greatly enjoying this book written by Lamport
http://lamport.azurewebsites.net/tla/book.html http://lamport.azurewebsites.net/tla/book.html