| Branch | Commit message | Author | Age | |
|---|---|---|---|---|
| master | added pdf version | Aditya Naik | 8 years | |
| Age | Commit message | Author | ||
| 2017-12-08 | added pdf versionHEADmaster | Aditya Naik | ||
| 2017-12-08 | changed invariants | Aditya Naik | ||
| 2017-12-08 | initial | Aditya Naik | ||
| 2017-12-08 | initial | Aditya Naik | ||
 |
index : tictactoeTLA+ | |
| Tic-tac-toe specification in TLA+ | Aditya N. Naik |
| aboutsummaryrefslogtreecommitdiff |