Renato Costa comments

Repositories
Issues
Comments

Results 1 comments of


                                            Renato Costa

Representing time(r) in PlusCal/PGo

For documentation purposes, a good starting point to think about this problem is probably chapter 2 of the [TLA+ book](https://lamport.azurewebsites.net/tla/book-02-08-08.pdf).