| Age | Commit message (Collapse) | 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 |